def run.step

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

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

import Base

1157def run.step(st: Vm, +prog: Trie<Inst>, +fuel: Nat, +init: List<&2, Maybe<&2, U32>>, +start: Maybe<&2, List<&2, Inst>>, +any: Bool, +pos: U32, +c: Char, +next: Maybe<&2, Char>) -> Vm:
1158  Vm{ths, best} = st
1159  run.close(scan(ths, prog, Some{c}, any, Sc{Nil{}, best, False{}}), prog, fuel, init, start, pos, Some{c}, next)

Uses (12)

Used by (3)