def bit_words
import mylsm-lsm-store@0.3.2.0/src/Sstable.bend as Sstableimport 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))