def ar.replay
bend-kit-regex@0.8.0.0 · regex.bend:1902
import bend-kit-regex@0.8.0.0/regex.bend as Regex
import Base
1902def ar.replay(xs: List<&2, Op>, r: Array<Th> & Array<Th>, +init: List<&2, Maybe<&2, U32>>, +pos: U32, +i: U32, +cap: U32, best: Maybe<&2, List<&2, Maybe<&2, U32>>>) -> Ar:
1903 match xs:
1904 case Nil{}:
1905 (old, spare) = r
1906 Ar{spare, old, i, cap, best}
1907 case Con{Op{+src, +pc, saves}, rest}:
1908 (old, spare) = r
1909 ar.replay(rest, ar.put(ar.src(U32.is_eq(src, seed.id()), old, src, init), spare, pc, saves, pos, i), init, pos, (i + 1 : U32), cap, best)