def table_bits_build

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

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

436# Return the table bits build for the SSTable indexes, filters, and lookup.
437def table_bits_build(
438  +entries: List<&2, MemTable.Entry>,
439  level: Nat,
440  est_keys: Nat,
441) -> {table_bits(build(entries, level, est_keys)) == bloom_bits(level, Nat.max(est_keys, List.length(&2, MemTable.Entry, entries))) : Nat}:
442  +effective = Nat.max(est_keys, List.length(&2, MemTable.Entry, entries))
443  table_bits_from_meta(SortedRun.sort_newest(entries), level, effective, metadata(SortedRun.sort_newest(entries)))