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

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

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

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

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