def PN

lawful-fields@0.1.1.0 · proof_cut.bend:321

import Base
import lawful-bytes@0.1.1.0/defs.bend as D

321# pieces and within read only the numbers of their offsets.
322def PN(ns: List<&2, Nat>, +xs: List<&2, U32>, +from: Nat) -> List<&2, List<&2, U32>>:
323  match ns:
324    case Nil{}:
325      Nil{}
326    case Con{+e, t}:
327      Con{D.slice(xs, from, Nat.sub(e, from)), PN(t, xs, Nat.add(e, 1n))}