~/jendhub

def reopen_dash_step

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

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

356def reopen_dash_step(+done: Bool, isdash: Bool, +acc: Nat) -> (Bool & Nat):
357  match done:
358    case True{}:
359      (True{}, acc)
360    case False{}:
361      match isdash:
362        case True{}:
363          (False{}, Nat.add(1n, acc))
364        case False{}:
365          (True{}, acc)

Uses (5)

Used by (1)