~/jendhub

def rb.skip

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

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

1451def rb.skip(r: Array<U32> & U32, +len: U32, +prog: Trie<Inst>, +fuel: Nat, +init: List<&2, Maybe<&2, U32>>, +start: Maybe<&2, List<&2, Inst>>) -> Rb:
1452  (a, +k) = r
1453  rb.seed(dec(a, len, k), k, prog, fuel, init, start)

Uses (12)

Used by (1)