def bit_words

mylsm-lsm-store@0.6.0.1 · src/Sstable.bend:147

import Base

147# BitTree stores whole U32 words while Bloom.size preserves the exact logical
148# bit count selected by bloom_bits.
149def bit_words(num: Nat) -> Nat:
150  match num:
151    case 0n:
152      0n
153    case 1n+m:
154      Nat.add(1n, Nat.div(m, 32n))