Type Definition egg::TreeExplanation

pub type TreeExplanation<L> = Vec<Rc<TreeTerm<L>>>;

Explanation trees are the compact representation showing how one term can be rewritten to another.

Each TreeTerm has child TreeExplanation justifying a transformation from the initial child to the final child term. Children TreeTerm can be shared, thus re-using explanations. This sharing can be checked via Rc pointer equality.

See TreeTerm for more details on how to interpret each term.