def word_at_if

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

import mylsm-lsm-store@0.3.2.0/src/BitTree.bend as BitTree

import Base

149def word_at_if(inside: Bool, tree: BitTree, index: Nat) -> U32:
150  match inside:
151    case False{}:
152      0
153    case True{}:
154      match tree:
155        case BT{root, words, capacity, height}:
156          tree_word(index_path(height, index, Nil{}), root)

Uses (7)

Used by (1)

mylsm-lsm-store@0.3.2.0/src/BitTree:word_at