~/jendhub

def next.summed

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

import bend-kit-journal@0.3.1.0/journal.bend as Journal
import Base

44def next.summed(~P: Type, ~S: Type, ~skip: S -> @+hs:U32 -> @+len:U32 -> S, +want: U32, +len: U32, s: S, r: P & U32) -> Step<P, S>:
45  (p, +got) = r
46  next.verdict(~P, ~S, ~skip, U32.is_eq(got, want), len, s, p)

Uses (6)

Used by (1)