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

LIBRARY
Lib

SYNOPSIS
Tests whether a list contains a certain member.

DESCRIBE
mem x [x1;...;xn] returns true if some xi in the list is equal to x. Otherwise it returns false.

FAILURE
Never fails.

COMMENTS
Note that the type of the members of the list must be an SML equality type.

SEEALSO  find,   tryfind,   exists,   forall,   assoc,   rev_assoc

HOL  Kananaskis 0