~/jendhub

def reopen_dash_go

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

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

377def reopen_dash_go(fuel: Nat, st: (Bool & Nat), str: String) -> Nat:
378  match fuel:
379    case 0n:
380      reopen_dash_snd(st)
381    case 1n+f:
382      match str:
383        case SNil{}:
384          reopen_dash_snd(st)
385        case SCon{h, t}:
386          reopen_dash_go(f, reopen_dash_fst(st, h), t)

Uses (6)

Used by (1)