~/jendhub

def next.want

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

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

52def next.want(~P: Type, ~S: Type, ~cut: S -> @+hs:U32 -> @+len:U32 -> S & P, ~skip: S -> @+hs:U32 -> @+len:U32 -> S, ~sum: P -> P & U32, +len: U32, r: S & U32) -> Step<P, S>:
53  (s, +want) = r
54  next.cut(~P, ~S, ~skip, ~sum, want, len, cut(s, 12, len))

Uses (5)

Used by (1)