def dec_step

mylsm-lsm-store@0.3.2.0 · src/Wal.bend:161

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

import Base

161def dec_step(st: DecState, ch: Char) -> DecState:
162  match st:
163    case DS{phase, muts, tag, num, kacc, vacc, cacc, ok}:
164      match ok:
165        case False{}:
166          DS{PTag{}, muts, tag, 0n, "", "", "", False{}}
167        case True{}:
168          phase_router(phase, muts, tag, num, kacc, vacc, cacc, ch)

Uses (5)

Used by (2)