list_member

[This is preliminary specification and subject to change.]

Group

Lists (more...)

Type

nondeterm

Syntax

list_member( ILIST IN, INTEGER MEMBER)

Flow patterns

(i,o),(i,i)

Description:

Returns member of the LIST or
test if ELEMENT is member of the list
Supports any LIST domain
Note - nondeterministic predicate.

Sample:

No sample