def allocate

stelliferous@0.0.2.0 · storage_allocation.bend:47

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

47def allocate(~Element: Data,depth: Nat,value: Element,length: Nat) -> Storage.Buffer<Element>:
48  dispatch(~Element,~allocated(~Element),depth,value,length)