[ library(gfd) | Reference Manual | Alphabetic Index ]

# ?Vars #:: ++Domain

Constrain Vars to have the domain Domain.

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

## 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