
ic:(?ExprX >= ?ExprY)

   ExprX is greater than or equal to ExprY.

Arguments
   ExprX               Arithmetic expression
   ExprY               Arithmetic expression

Type
   library(ic)

Description

   Constrains ExprX to be greater than or equal to 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
