def capacity

bendtorch-core@0.1.0.0 · src/storage/model.bend:3

import Base

3def capacity(d: Nat) -> Nat:
4  match d:
5    case 0n:
6      1n
7    case 1n+p:
8      +n = capacity(p)
9      Nat.add(n, n)