def freeze

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

import Base

28def freeze(-T: Data, a: Array<T>) -> Tree<T>:
29  match a:
30    case ALeaf{+x}:
31      TLeaf{x}
32    case ANode{xs, ys}:
33      TNode{freeze(T, xs), freeze(T, ys)}