def test_if

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

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

import Base
import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/bitset.bend as BitWords

189def test_if(inside: Bool, +tree: BitTree, +bit: Nat) -> Bool:
190  match inside:
191    case False{}:
192      False{}
193    case True{}:
194      BitWords.word_get(word_at(tree, Nat.div(bit, 32n)), Nat.mod(bit, 32n))

Uses (6)

Used by (1)

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