\DOC tryfind

\TYPE {tryfind : ('a -> 'b) -> 'a list -> 'b}

\SYNOPSIS
Returns the result of the first successful application of a function to
the elements of a list.

\KEYWORDS
searching, list.

\DESCRIBE
{tryfind f [x1,...,xn]} returns {(f xi)} for the first {xi} in the list
for which application of {f} does not raise an exception. However, if
{Interrupt} is raised in the course of some application of {f xi}, then
{tryfind f [x1,...,xn]} raises {Interrupt}.

\FAILURE
Fails if the application of {f} fails for all elements in the list. This
will always be the case if the list is empty.

\SEEALSO
Lib.first, Lib.mem, Lib.exists, Lib.all, Lib.assoc, Lib.rev_assoc, Lib.assoc1, Lib.assoc2.
\ENDDOC