[ library(ic) | Reference Manual | Alphabetic Index ]

ic:(?ExprX =:= ?ExprY)

ExprX is equal to ExprY.
ExprX
Arithmetic expression
ExprY
Arithmetic expression

Description

Constrains ExprX and ExprY to be equal.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

See Also

< / 2, =< / 2, >= / 2, > / 2, =\= / 2, #= / 2, =:= / 3, =:= / 2, iso_light : =:= / 2, suspend : =:= / 2, iso_strict : =:= / 2, eplex : =:= / 2