def thaw

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/array.bend:21

import Base

21def thaw(-T: Data, t: Tree<T>) -> Array<T>:
22  match t:
23    case TLeaf{x}:
24      ALeaf{x}
25    case TNode{l, r}:
26      ANode{thaw(T, l), thaw(T, r)}