def probe_hit_if

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

import Base

214# --- Parallel probe counters (Task 1): sequential leaf, two-way fork, `!` gate ---
215# Single probe as 0/1 for counting.
216def probe_hit_if(present: Bool) -> Nat:
217  match present:
218    case True{}:
219      1n
220    case False{}:
221      0n