Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions.

[AgentElement]

I've added a Term::is_isomorphic_to(&self, other: Term&), which determines if &self and other are structurally equivalent, ie they have isomorphic ASTs.

I'm not sure if is_isomorphic_to is a particularly good name for this function. Something like is_equivalent_to might be an alternative, but may not necessarily be better: program equivalence is the task of determining if two programs have identical behavior and is famously undecidable. Whereas this function only checks that the two Terms are equivalent. I'm open to discussion over the name.

I have avoided an implementation of Eq as the equivalence check is quite expensive - O(n) in the size of the AST.

[ljedrz]

Thanks, very cool; two requests:

• rebase
• a small refactoring, as proposed in the suggestion

[AgentElement]

Both should now be done, thanks.

[ljedrz]

LGTM