def zero_tree

mylsm-lsm-store@0.3.2.0 · src/BitTree.bend:49

import Base

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