def Array.swap.at
import Base2480def Array.swap.at(-T: Type, i: U32, v: T, an: Array<T> & U32) -> Array<T> & T:
2481 (a, +n) = an
2482 +j = U32.and(i, U32.sub(n, 1))
2483 Array.swap.go(T, a, n, j, v, U32.is_lt(j, U32.shr(n)))
import Base2480def Array.swap.at(-T: Type, i: U32, v: T, an: Array<T> & U32) -> Array<T> & T:
2481 (a, +n) = an
2482 +j = U32.and(i, U32.sub(n, 1))
2483 Array.swap.go(T, a, n, j, v, U32.is_lt(j, U32.shr(n)))