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

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

Reflect into Bool the truth of Var having the domain Domain.
Var
Variable
Domain
Domain specification
Bool
Reified truth value

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