def qa.pick
bend-kit-regex@0.8.0.0 · regex.bend:2005
import bend-kit-regex@0.8.0.0/regex.bend as Regex
import Base
2005def qa.pick(ok: Bool, a: Array<U32>, tab: Array<Tr>, +keys: Trie<List<&2, Ix>>, +n: U32, +id: U32, +j: U32, +d: Dc, ar: Ar, +c: U32, +prog: Trie<Inst>, +cfuel: Nat, +init: List<&2, Maybe<&2, U32>>, +start: Maybe<&2, List<&2, Inst>>, +any: Bool, +slots: Nat, +cap: U32) -> Qa:
2006 match ok:
2007 case True{}:
2008 +idx = ((id * 128) + c : U32)
2009 qa.cached(Array.get(Tr, tab, idx), a, keys, n, idx, j, d, ar, c, prog, cfuel, init, start, any, slots, cap)
2010 case False{}:
2011 qa.real((a, d), j, tab, keys, n, ar, c, prog, cfuel, init, start, any, cap)