def capacity
import bendtorch-core@0.1.0.0/src/storage/size.bend as Sizeimport Base
4def capacity(d: Nat) -> U32:
5 match d:
6 case 0n:
7 1
8 case 1n+p:
9 U32.shl(capacity(p))
import bendtorch-core@0.1.0.0/src/storage/size.bend as Sizeimport Base
4def capacity(d: Nat) -> U32:
5 match d:
6 case 0n:
7 1
8 case 1n+p:
9 U32.shl(capacity(p))