find : ('a -> bool) -> 'a list -> 'a
STRUCTURE
hol88Lib
SYNOPSIS
Returns the first list element that satisfies a predicate.
DESCRIBE
Identical to
Lib.first
.
SEEALSO
first
,
tryfind
,
mem
,
exists
,
forall
,
assoc
,
rev_assoc
HOL
Kananaskis-4