def replay

bend-kit-regex@0.8.0.0 · regex.bend:1730

import bend-kit-regex@0.8.0.0/regex.bend as Regex

import Base

1730def replay(xs: List<&2, Op>, +ths: List<&2, Th>, +init: List<&2, Maybe<&2, U32>>, +pos: U32) -> List<&2, Th>:
1731  match xs:
1732    case Nil{}:
1733      Nil{}
1734    case Con{Op{+src, pc, saves}, t}:
1735      Th{pc, saves.put(saves, caps.of(src, ths, init), pos)} <> replay(t, ths, init, pos)

Uses (7)

Used by (2)