prolog::ord_member/2

ord_member(+ Element, + Set)*

Holds when Element is a member of Set.

Private-func:

1. prolog::ord_member_2::ord_member/2(int ARG1, int ARG2)():