~/jendhub

def extent

stelliferous@0.0.2.0 · proofs/storage_shape.bend:31

import stelliferous@0.0.2.0/proofs/storage_shape.bend as StorageShape
import Base

31def extent(depth: Nat) -> Nat:
32  match depth:
33    case 0n: 1n
34    case 1n+rest: Nat.double(extent(rest))

Uses (2)

Used by (6)