def qa.spin.if
bend-kit-regex@0.8.0.0 · regex.bend:2032
import bend-kit-regex@0.8.0.0/regex.bend as Regex
import Base
2032def qa.spin.if(same: Bool, a: Array<U32>, tab: Array<Tr>, +keys: Trie<List<&2, Ix>>, +n: U32, +id: U32, +i: U32, d: Dc, ar: Qst, +fuel: Nat, +len: U32, +cap: U32) -> Qa:
2033 match same:
2034 case True{}:
2035 qa.spin.at(spin(fuel, spin.state(spin.byte(Bool.not(U32.is_lt((i + 1 : U32), len)), a, i), tab, i, id, cap), len, id, cap), i, len, keys, n, id, d, ar)
2036 case False{}:
2037 Qa{a, tab, keys, n, id, i, d, ar, False{}}