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


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
