~/jendhub

def probe_count_seq

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

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

227# Sequential probe count over a probe list.
228def probe_count_seq(+probes: List<&2, String>, +tab: Table) -> Nat:
229  match probes:
230    case Nil{}:
231      0n
232    case Con{+q, t}:
233      Nat.add(probe_count_seq(t, tab), probe_hit(tab, q))

Uses (6)

Used by (1)