mem : 'a -> 'a list -> bool

SYNOPSIS: Tests whether a list contains a certain member.
DESCRIPTION: mem x [x1;...;xn] returns true if some xi in the list is equal to x. Otherwise it returns false.
FAILURE CONDITIONS: Never fails.
SEE ALSO: find, tryfind, exists, forall, assoc, rev_assoc.