~/jendhub

def bit_count

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

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

87def bit_count(tree: BitTree) -> Nat:
88  Nat.mul(word_count(tree), 32n)

Uses (4)

Used by (2)