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

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

Arguments
   Var                 (Domain) variable (array notation accepted)
   Domain              Domain specification
   Bool                Reified truth value (array notation accepted)

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
   suspend : #:: / 3, ic : #:: / 3, fd : #:: / 3, #:: / 2
