def reopen_dash_fst

mylsm-lsm-store@0.3.2.0 · src/Db.bend:372

import mylsm-lsm-store@0.3.2.0/src/Db.bend as Db
import Base

372def reopen_dash_fst(st: (Bool & Nat), +ch: Char) -> (Bool & Nat):
373  match st:
374    case (done, acc):
375      reopen_dash_step(done, Char.is_eq(ch, Char.from_u32(45)), acc)

Uses (8)

Used by (1)