
ic:(?ExprX =:= ?ExprY)

   ExprX is equal to ExprY.

Arguments
   ExprX               Arithmetic expression
   ExprY               Arithmetic expression

Type
   library(ic)

Description

   Constrains ExprX and ExprY to be equal.
   Alternate form of ExprX $= ExprY.


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

See Also
   < / 2, =< / 2, >= / 2, > / 2, =\= / 2, $= / 2, #= / 2, =:= / 2, iso_light : =:= / 2, suspend : =:= / 2, iso_strict : =:= / 2
