
ria:(?ExprX =:= ?ExprY)

   ExprX is equal to ExprY.

Arguments
   ExprX               Arithmetic Expression
   ExprY               Arithmetic Expression

Type
   library(ria)

Description
Constrains ExprX and ExprY to be equal. ExprX and ExprY are general 
arithmetic expressions.

See Also
   =:= / 2, suspend : =:= / 2, eplex : =:= / 2, ic : =:= / 2, =< / 2, >= / 2
