Term::is_isomorphic_to
: A function to determine if two term objects describe identical expressions.
#34
Job | Run time |
---|---|
13s | |
16s | |
11s | |
40s |