[ library(suspend) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
# ?Expr1 #> ?Expr2

The integer value of Expr1 is greater than the integer value of Expr2.
*Expr1*
- An integer arithmetic expression
*Expr2*
- An integer arithmetic expression

## Description

Suspends until both Expr1 and Expr2 are ground, and then both arguments
are evaluated and compared, succeeding iff they are both integers and
Expr1 is greater than Expr2.
### Modules

This predicate is sensitive to its module context (tool predicate, see @/1).
### Fail Conditions

fails if the value of Expr1 is not greater than the value of Expr2, or if either do not evaluate to an integer.
### Exceptions

*(24) number expected *
- Expr1 or Expr2 is not an arithmetic expression.

## See Also

#> / 3, fd : #> / 2, ic : #> / 2