ProofTree.fromT: def of lawful-arrays@0.1.0.0
Import: import lawful-arrays@0.1.0.0/proof_tree.bend as ProofTree
Lines 17-22 of lawful-arrays@0.1.0.0/proof_tree.bend: https://jend.leeeet.dev/read.txt?path=lawful-arrays@0.1.0.0/proof_tree.bend&start_line=17&end_line=22

import Base

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=lawful-arrays@0.1.0.0/proof_tree.bend&name=Tree