
?Vars #:: ++Domain

   Constrain Vars to be integral and have the domain Domain.

Arguments
   Vars                Variable or collection (a la collection_to_list/2) of variables
   Domain              Domain specification

Type
   library(ic)

Description

   Like ::/2, but constrains Vars to take only integer values from the given
   domain.


See Also
   :: / 2, $:: / 2
