
#::(?Var, ++Domain, ?Bool)

   Reflect into Bool the truth of Var having the domain Domain.

Arguments
   Var                 Variable
   Domain              Domain specification
   Bool                Reified truth value

Type
   library(gfd)

Description

  An alias for ::/3. See ::/3 for more details.



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

See Also
   fd : #:: / 3, ic : #:: / 3, suspend : #:: / 3, #:: / 2
