def table_bits_from_meta

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

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

424# Open bridge: metadata is matched explicitly so the Bloom schedule projects
425# through `build` without relying on reduction of an open entry list.
426def table_bits_from_meta(
427  +entries: List<&2, MemTable.Entry>,
428  level: Nat,
429  est_keys: Nat,
430  meta: Metadata,
431) -> {table_bits(from_sorted_unique_est_meta(entries, level, est_keys, meta)) == bloom_bits(level, est_keys) : Nat}:
432  match meta:
433    case Meta{smallest, largest, count}:
434      {==}