def tree_height
import mylsm-lsm-store@0.3.2.0/src/BitTree.bend as BitTreeimport Base
82def tree_height(tree: BitTree) -> Nat:
83 match tree:
84 case BT{root, words, capacity, height}:
85 height
import mylsm-lsm-store@0.3.2.0/src/BitTree.bend as BitTreeimport Base
82def tree_height(tree: BitTree) -> Nat:
83 match tree:
84 case BT{root, words, capacity, height}:
85 height