def run.seed

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

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

1146def run.seed(skip: Bool, items: List<&2, Th>, +best: Maybe<&2, List<&2, Maybe<&2, U32>>>, +prog: Trie<Inst>, +fuel: Nat, +init: List<&2, Maybe<&2, U32>>, +pos: U32, +prev: Maybe<&2, Char>, +next: Maybe<&2, Char>) -> Vm:
1147  match skip:
1148    case True{}:
1149      Vm{Nil{}, None{}}
1150    case False{}:
1151      Vm{close(fuel, prog, pos, prev, next, Cl{seed(best, List.reverse(&2, Th, items), init), TTip{}, Nil{}}), best}

Uses (14)

Used by (1)