def allocate_at

bendtorch-core@0.1.0.0 · src/storage/main.bend:40

import bendtorch-core@0.1.0.0/src/storage/main.bend as BendtorchCore

import Base

40def allocate_at(+n: Nat, value: F32, metadata: Nat & Nat) -> Result<&2, &1, Error, Storage>:
41  (d0, capacity) = metadata
42  +d = d0
43  allocate(d, n, value, bounds(d, n), {==})

Uses (9)

Used by (7)