Next: mpg-ref-term_not_greater_than, Previous: mpg-ref-term_less_than, Up: mpg-bpr [Contents][Index]
\==/2
+Term1 \== +Term2
\==
Succeeds if Term1 and Term2 are non-identical terms.
term
None.
ref-lte-cte.