def buffer

stelliferous@0.0.2.0 · tensor.bend:82

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

82def buffer(~Element: Data,+fill: Element,+count: U32) -> Storage.Buffer<Element>:
83  Allocation.allocate(~Element,depth_for(count),fill,U32.to_nat(count))