def Array.to_list.go
import Base2604def Array.to_list.go(~T: Type, a: Array<T>, acc: List<T>) -> List<T>:
2605 match a:
2606 case ALeaf{x}:
2607 x <> acc
2608 case ANode{xs, ys}:
2609 Array.to_list.go(~T, xs, Array.to_list.go(~T, ys, acc))