[ library(suspend) | Reference Manual | Alphabetic Index ]

# <(?Expr1, ?Expr2, ?Bool)

Reified arithmetic comparison

Expr1
  An arithmetic expression
Expr2
  An arithmetic expression
Bool
  Variable, 0 or 1

## Description

Reified version of This constraint suspends until its first two arguments are ground. It then unifies Bool according to the truth value of the corresponding Modules This predicate is sensitive to its module context (tool predicate, see @/2).

### Exceptions

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

## See Also

< / 2, $< / 3