[ 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