def pack

stelliferous@0.0.2.0 · proofs/storage_tree_model.bend:9

import Base

9def pack(-T: Data,tree: Tree<T>) -> Array<T>:
10  match tree:
11    case Leaf{v}:
12      ALeaf{v}
13    case Node{l,r}:
14      ANode{pack(T,l),pack(T,r)}