[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

ord_memberchk(?Term, +Set)

Checks whether Term is a member of Set
Term
Any Term
Set
A set

Modes and Determinism

Fail Conditions

Term is not a member of Set

See Also

lists : member / 2, ord_nonmember / 2, ord_selectchk / 3