def allocate

stelliferous@0.0.2.0 · tensor_band.bend:322

import stelliferous@0.0.2.0/tensor_band.bend as TensorBand

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

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

Uses (5)

Used by (4)