[ library(cardinal) | Reference Manual | Alphabetic Index ]
?Element in ?SetVariable
Set membership constraint
- A set variable.
- A ground term or a variable.
Constrain SetVariable to include Element.
in/2 is available for compatibility with conjunto library syntax.
It is equivalent to the preferred `@/2. See its description for details.
Fails if Element can not be a member of SetVariable.
`@ / 2, `-@ / 2, notin / 2, `:: / 2