def Array.clone
import Base2495def Array.clone(-T: Data, a: Array<T>) -> Array<T> & Array<T>:
2496 match a:
2497 case ALeaf{+x}:
2498 (ALeaf{x}, ALeaf{x})
2499 case ANode{xs, ys}:
2500 Array.clone.node(T, Array.clone(T, xs), Array.clone(T, ys))