[ 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