StorageAllocation.dispatch: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/storage_allocation.bend as StorageAllocation
Lines 9-42 of stelliferous@0.0.2.0/storage_allocation.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/storage_allocation.bend&start_line=9&end_line=42

import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Storage

def dispatch(~Element: Data,~allocator: Nat -> Element -> Nat -> Storage.Buffer<Element>,depth: Nat,+value: Element,length: Nat) -> Storage.Buffer<Element>:
  match depth:
    case 0n: allocator(0n,value,length)
    case 1n: allocator(1n,value,length)
    case 2n: allocator(2n,value,length)
    case 3n: allocator(3n,value,length)
    case 4n: allocator(4n,value,length)
    case 5n: allocator(5n,value,length)
    case 6n: allocator(6n,value,length)
    case 7n: allocator(7n,value,length)
    case 8n: allocator(8n,value,length)
    case 9n: allocator(9n,value,length)
    case 10n: allocator(10n,value,length)
    case 11n: allocator(11n,value,length)
    case 12n: allocator(12n,value,length)
    case 13n: allocator(13n,value,length)
    case 14n: allocator(14n,value,length)
    case 15n: allocator(15n,value,length)
    case 16n: allocator(16n,value,length)
    case 17n: allocator(17n,value,length)
    case 18n: allocator(18n,value,length)
    case 19n: allocator(19n,value,length)
    case 20n: allocator(20n,value,length)
    case 21n: allocator(21n,value,length)
    case 22n: allocator(22n,value,length)
    case 23n: allocator(23n,value,length)
    case 24n: allocator(24n,value,length)
    case 25n: allocator(25n,value,length)
    case 26n: allocator(26n,value,length)
    case 27n: allocator(27n,value,length)
    case 28n: allocator(28n,value,length)
    case 29n: allocator(29n,value,length)
    case 30n: allocator(30n,value,length)
    case 31n+rest: allocator(31n+rest,value,length)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/storage_buffer.bend&name=Buffer