def new_checked

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

import Base

45def new_checked(+n: Nat, value: F32, allowed: Bool) -> Result<&2, &1, Error, Storage>:
46  match n allowed:
47    case 0n _:
48      Done{Empty{}}
49    case 1n+p False{}:
50      Fail{TooLarge{}}
51    case 1n+p True{}:
52      allocate_at(n, value, depth_seek(20n, n, 0n, 1n, Nat.is_le(n, 1n)))