def Array.swap.hi
import Base2462def Array.swap.hi(-T: Type, xs: Array<T>, r: Array<T> & T) -> Array<T> & T:
2463 (nys, old) = r
2464 (ANode{xs, nys}, old)
import Base2462def Array.swap.hi(-T: Type, xs: Array<T>, r: Array<T> & T) -> Array<T> & T:
2463 (nys, old) = r
2464 (ANode{xs, nys}, old)