[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

?ExprX $= ?ExprY

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

Description

Constrains ExprX and ExprY to be equal. Alternate form of ic:(ExprX =:= ExprY).

See Also

=:= / 2