pub fn new(node: L, child_proofs: Vec<TreeExplanation<L>>) -> TreeTerm<L> {
        TreeTerm {
            node,
            backward_rule: None,
            forward_rule: None,
            child_proofs,
        }
    }
/// Construct a new TreeTerm given its node and child_proofs.
Construct a new TreeTerm given its node and child_proofs.
Construct a new TreeTerm given its node and child_proofs .
pub fn new(node: L, child_proofs: Vec<TreeExplanation<L>>) -> TreeTerm<L> {
        TreeTerm {
            node,
            backward_rule: None,
            forward_rule: None,
            child_proofs,
        }
    }
pub fn new ( node : L , child_proofs : Vec < TreeExplanation < L > > ) -> TreeTerm < L > { TreeTerm { node , backward_rule : None , forward_rule : None , child_proofs , } }
Construct a new TreeTerm given its node and child_proofs.
Construct a new TreeTerm given its node and child_proofs .
node
L
child_proofs
Vec<TreeExplanation<L>>
node
L
child_proofs
Vec<TreeExplanation<L>>