def valid_bit

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

import Base

87# Check whether bit holds for the packed bit-tree operations.
88def valid_bit(tree: BitTree, bit: Nat) -> Bool:
89  Nat.is_lt(bit, bit_count(tree))