def qa.spin.at
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
2028def qa.spin.at(s: Spin, +old: U32, +len: U32, +keys: Trie<List<&2, Ix>>, +n: U32, +id: U32, d: Dc, ar: Qst) -> Qa:
2029 Spin{a, tab, +i} = s
2030 qa.spin.dec(U32.is_ne(i, old), a, tab, len, keys, n, id, i, d, ar)