def new

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

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

54def new(+n: U32, value: F32) -> Result<&2, &1, Error, Storage>:
55  new_checked(U32.to_nat(n), value, U32.is_le(n, 1048576))

Uses (8)

Used by (13)