
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.
   Alternate form of ExprX $


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
