def next.verdict

bend-kit-journal@0.3.1.0 · journal.bend:37

import Base

37def next.verdict(~P: Type, ~S: Type, ~skip: S -> @+hs:U32 -> @+len:U32 -> S, ok: Bool, +len: U32, s: S, p: P) -> Step<P, S>:
38  match ok:
39    case True{}:
40      Got{p, skip(s, 12, len)}
41    case False{}:
42      Bad{"checksum mismatch", s}