~/jendhub

def dash_step

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

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

83def dash_step(dash: Bool, colon: Bool, next: Phase, +muts: List<&2, Mut>, +tag: Char, +num: Nat, +kacc: String, +vacc: String, +cacc: String) -> DecState:
84  match dash:
85    case True{}:
86      DS{RLen{next}, muts, tag, 1n+num, kacc, vacc, cacc, True{}}
87    case False{}:
88      match colon:
89        case True{}:
90          DS{next, muts, tag, num, kacc, vacc, cacc, True{}}
91        case False{}:
92          DS{PTag{}, muts, tag, 0n, "", "", "", False{}}

Uses (8)

Used by (1)