type Tree

lawful-arrays@0.1.0.0 · proof_tree.bend:13

import Base

13type Tree<-T: Data> is Data:
14  TLeaf{x: T}
15  TNode{l: Tree<T>, r: Tree<T>}