def qa.spin.dec
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
2021def qa.spin.dec(moved: Bool, a: Array<U32>, tab: Array<Tr>, +len: U32, +keys: Trie<List<&2, Ix>>, +n: U32, +id: U32, +i: U32, d: Dc, ar: Qst) -> Qa:
2022 match moved:
2023 case True{}:
2024 qa.spin.read(dec(a, len, i), tab, keys, n, id, i, ar)
2025 case False{}:
2026 Qa{a, tab, keys, n, id, i, d, ar, False{}}