def bloom_well_formed

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

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

172# Handle Bloom filter data for well formed for the SSTable indexes, filters, and lookup.
173def bloom_well_formed(bloom: Bloom) -> Bool:
174  match bloom:
175    case Blm{+bits, +size}:
176      Bool.and(
177        BitTree.well_formed(bits),
178        Bool.and(
179          Nat.is_eq(BitTree.word_count(bits), bit_words(size)),
180          Nat.is_le(size, BitTree.bit_count(bits))))