Next: , Previous: mpg-ref-not_unifiable, Up: mpg-bpr

11.3.230 \==/2   [ISO]

Synopsis

+Term1 \== +Term2

Succeeds if Term1 and Term2 are non-identical terms.

Arguments

Term1
term
Term2
term

Exceptions

None.

See Also

ref-lte-cte.

Send feedback on this subject.