Journal.next.cut: def of bend-kit-journal@0.3.1.0
Import: import bend-kit-journal@0.3.1.0/journal.bend as Journal
Lines 48-50 of bend-kit-journal@0.3.1.0/journal.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-journal@0.3.1.0/journal.bend&start_line=48&end_line=50

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-journal@0.3.1.0/journal.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=bend-kit-journal@0.3.1.0/journal.bend&name=next.summed