
integers(?Vars)

   Constrain Vars to be integers

Arguments
   Vars                List of variables or integers

Type
   library(suspend)

Description
   Constrain the variables in Vars to be integers. The constraint succeeds 
   when all the variables are bound to integers. The constraint is only 
   evaluated when all variables are ground.

Fail Conditions
   Vars has non-integers.


