Term::is_isomorphic_to
: A function to determine if two term objects describe identical expressions.
#37
This job succeeded
Loading