[ 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