
integers(?Vars)

   Constrain Vars to be integers

Arguments
   Vars                List of variables or integers

Type
   library(suspend)

Description
    This constraint suspends until its argument is ground. It then succeeds
    iff Vars is an integer or a list of integers.

Fail Conditions
   Vars contains non-integers.

See Also
   :: / 2, #:: / 2, reals / 1
