def thaw

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/sha/packed/packed_array_proof.bend:8

import Base

8def thaw(t: Tree) -> Array<U32>:
9  match t:
10    case Leaf{x}: ALeaf{x}
11    case Node{l,r}: ANode{thaw(l),thaw(r)}