/// Construct a new FlatTerm given a node and its children.
Construct a new FlatTerm given a node and its children.
Construct a new FlatTerm given a node and its children .
pub fn new(node: L, children: FlatExplanation<L>) -> FlatTerm<L> {
        FlatTerm {
            node,
            backward_rule: None,
            forward_rule: None,
            children,
        }
    }
pub fn new ( node : L , children : FlatExplanation < L > ) -> FlatTerm < L > { FlatTerm { node , backward_rule : None , forward_rule : None , children , } }
Construct a new FlatTerm given a node and its children.
Construct a new FlatTerm given a node and its children .
node
L
children
FlatExplanation<L>