Compat.find : ('a -> bool) -> 'a list -> 'a
SYNOPSIS
Returns the first element of a list which satisfies a predicate.
DESCRIBE
Found in the hol88 library.
find p [x1;...;xn]
returns the first
xi
in the list such that
(p xi)
is
true
.
FAILURE
Fails with
find
if no element satisfies the predicate. This will always be the case if the list is empty.
COMMENTS
find
is in Compat, because is is not found in hol90 (
Lib.first
is equivalent and is used instead).
SEEALSO
tryfind
,
mem
,
exists
,
forall
,
assoc
,
rev_assoc
HOL
Kananaskis 0