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.