~/jendhub

def capacity

stelliferous@0.0.2.0 · proofs/storage_address_bounds.bend:13

import stelliferous@0.0.2.0/proofs/storage_address_bounds.bend as StorageAddressBounds
import Base

13def capacity(depth: Nat) -> U32:
14  U32.shln(1,depth)

Uses (3)

Used by (11)