def bit_count

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

import Base

83# Handle bit count in the packed bit-tree operations.
84def bit_count(tree: BitTree) -> Nat:
85  Nat.mul(word_count(tree), 32n)