def zero_tree

mylsm-lsm-store@0.6.0.1 · src/BitTree.bend:53

import Base

53# Independent subtrees are built in parallel.
54def zero_tree(+height: Nat) -> WordTree:
55  match height:
56    case 0n:
57      Leaf{0}
58    case 1n+h:
59      left right = zero_tree(h) zero_tree(h)
60      Fork{left, right}