
ic:(?ExprX > ?ExprY)

   ExprX is strictly greater than ExprY.

Arguments
   ExprX               Arithmetic expression
   ExprY               Arithmetic expression

Type
   library(ic)

Description

   Constrains ExprX to be strictly greater 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
