[ 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