[ library(suspend) | Reference Manual | Alphabetic Index ]
integers(?Vars)
Constrain Vars to be integers
- Vars
- List of variables or integers
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