Type Definition egg::FlatExplanation
source · pub type FlatExplanation<L> = Vec<FlatTerm<L>>;
Expand description
FlatExplanation are the simpler, expanded representation
showing one term being rewritten to another.
Each step contains a full FlatTerm
. Each flat term
is connected to the previous by exactly one rewrite.
See FlatTerm
for more details on how to find this rewrite.