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