
?Vars #:: ++Domain

   Constrain Vars to have the domain Domain.

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

Type
   library(gfd)

Description

   Alias of ::/2. See ::/2 for more details.



Modules
   This predicate is sensitive to its module context (tool predicate, see @/2).

See Also
   :: / 2
