def word_at_if

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

import Base

143# Handle word at if in the packed bit-tree operations.
144def word_at_if(inside: Bool, tree: BitTree, index: Nat) -> U32:
145  match inside:
146    case False{}:
147      0
148    case True{}:
149      match tree:
150        case BT{root, words, capacity, height}:
151          tree_word(index_path(height, index, Nil{}), root)