def learn

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

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

1702def learn(st: Vm, +c: U32, +prog: Trie<Inst>, +fuel: Nat, +slots: Nat, +any: Bool) -> Lr:
1703  Vm{ths, +best} = st
1704  sym.close(scan(sym.ths(ths, slots, 0), prog, Some{Chr{c}}, any, Sc{Nil{}, sym.best(best), False{}}), Maybe.is_some(&2, List<&2, Maybe<&2, U32>>, best), prog, fuel, slots, c)

Uses (16)

Used by (1)