Next: , Previous: , Up: mpg-bpr   [Contents][Index]


11.3.231 \==/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.