def capacity

bendtorch-core@0.1.0.0 · src/storage/size.bend:4

import bendtorch-core@0.1.0.0/src/storage/size.bend as Size
import Base

4def capacity(d: Nat) -> U32:
5  match d:
6    case 0n:
7      1
8    case 1n+p:
9      U32.shl(capacity(p))

Uses (3)

Used by (23)