def fromT

lawful-arrays@0.1.0.0 · proof_tree.bend:17

import Base

17def fromT(-T: Data, t: Tree<T>) -> Array<T>:
18  match t:
19    case TLeaf{x}:
20      ALeaf{x}
21    case TNode{l, r}:
22      ANode{fromT(T, l), fromT(T, r)}