type BitTree

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

import Base

23# Represent BitTree data used by the packed bit-tree operations.
24type BitTree is Data:
25  BT{root: WordTree, words: Nat, capacity: Nat, height: Nat}