def rb.seed

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

import Base

1446# A fresh seed at k. start is Some here, so no assertion is reachable before a char and prev does not count.
1447def rb.seed(r: Array<U32> & Dc, +k: U32, +prog: Trie<Inst>, +fuel: Nat, +init: List<&2, Maybe<&2, U32>>, +start: Maybe<&2, List<&2, Inst>>) -> Rb:
1448  (a, +d) = r
1449  Rb{a, k, d, run.close(Sc{Nil{}, None{}, False{}}, prog, fuel, init, start, k, None{}, Dc.char(d))}