def capacity_words
import mylsm-lsm-store@0.3.2.0/src/BitTree.bend as BitTreeimport Base
77def capacity_words(tree: BitTree) -> Nat:
78 match tree:
79 case BT{root, words, capacity, height}:
80 capacity
import mylsm-lsm-store@0.3.2.0/src/BitTree.bend as BitTreeimport Base
77def capacity_words(tree: BitTree) -> Nat:
78 match tree:
79 case BT{root, words, capacity, height}:
80 capacity