def allocated

stelliferous@0.0.2.0 · storage_allocation.bend:44

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

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