
ic:(?ExprX < ?ExprY)

   ExprX is strictly less than ExprY.

Arguments
   ExprX               Arithmetic expression
   ExprY               Arithmetic expression

Type
   library(ic)

Description

   Constrains ExprX to be strictly less than ExprY.


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

See Also
   =< / 2, =:= / 2, >= / 2, > / 2, =\= / 2, #< / 2, < / 3, < / 2, suspend : < / 2
