def bit_words

mylsm-lsm-store@0.3.2.0 · src/Sstable.bend:129

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

129# BitTree stores whole U32 words while Bloom.size preserves the exact logical
130# bit count selected by bloom_bits.
131def bit_words(num: Nat) -> Nat:
132  match num:
133    case 0n:
134      0n
135    case 1n+m:
136      Nat.add(1n, Nat.div(m, 32n))

Uses (3)

Used by (2)