
?Expr1 #< ?Expr2

   The integer value of Expr1 is less than the integer value of Expr2.

Arguments
   Expr1               An integer arithmetic expression
   Expr2               An integer arithmetic expression

Type
   library(suspend)

Description
   Suspends until both Expr1 and Expr2 are ground, and then both arguments
   are evaluated and compared, succeeding if they are both integers and 
   Expr1 is less than Expr2.


Resatisfiable
      No

Fail Conditions
      fails if the value of Expr1 is not less than the value of Expr2, or if either do not evaluated to an integer.



Exceptions
     5 --- Expr1 or Expr2 is not an arithmetic expression.


