def valid_bit

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

import Base

90def valid_bit(tree: BitTree, bit: Nat) -> Bool:
91  Nat.is_lt(bit, bit_count(tree))

Uses (5)