~/jendhub

def test_if

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

import mylsm-lsm-store@0.6.0.1/src/BitTree.bend as BitTree
import Base
import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/bitset.bend as BitWords

186# Handle test if in the packed bit-tree operations.
187def test_if(inside: Bool, +tree: BitTree, +bit: Nat) -> Bool:
188  match inside:
189    case False{}:
190      False{}
191    case True{}:
192      BitWords.word_get(word_at(tree, Nat.div(bit, 32n)), Nat.mod(bit, 32n))

Uses (6)

Used by (1)