def capacity

stelliferous@0.0.2.0 · proofs/storage_tree_model.bend:22

import Base

22def capacity(-T: Data,tree: Tree<T>) -> U32:
23  match tree:
24    case Leaf{v}:
25      1
26    case Node{l,r}:
27      U32.shl(capacity(T,l))