Page 216 of 800
| Page 216 of 800 | Search internet |
The relations 
and 
allow to compare two parse trees while ignoring debugging information.
is true if 
and 
denote the same parse tree when disregarding debugging information (t for term). As an example, 
is true as opposed to 
which is false.
is true if and have the same principal operator (r for root). As an example, 
is true.
Finally, 
compares two lists of terms for equality disregarding debugging information.
| Page 216 of 800 | Search logiweb.eu |