def Array.swap.lo
import Base2458def Array.swap.lo(-T: Type, ys: Array<T>, r: Array<T> & T) -> Array<T> & T:
2459 (nxs, old) = r
2460 (ANode{nxs, ys}, old)
import Base2458def Array.swap.lo(-T: Type, ys: Array<T>, r: Array<T> & T) -> Array<T> & T:
2459 (nxs, old) = r
2460 (ANode{nxs, ys}, old)