Sstable.bloom_bits: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/Sstable.bend as Sstable
Lines 90-101 of mylsm-lsm-store@0.6.0.1/src/Sstable.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/Sstable.bend&start_line=90&end_line=101

import Base

# --- Bloom allocator (Monkey-style: smaller/upper levels get more bits) ---
# Closed form pinned here; Dayan-exact coefficients are tuning follow-up.
def bloom_bits(level: Nat, est_keys: Nat) -> Nat:
  match level:
    case 0n:
      Nat.mul(est_keys, 20n)
    case 1n+m:
      match m:
        case 0n:
          Nat.mul(est_keys, 10n)
        case 1n+p:
          Nat.mul(est_keys, 5n)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mul