[ 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