tryfind
Lib.tryfind : ('a -> 'b) -> 'a list -> 'b
Returns the result of the first successful application of a function to the elements of a list.
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.
See also
Lib.first, Lib.mem,
Lib.exists, Lib.all,
Lib.assoc, Lib.rev_assoc,
Lib.assoc1, Lib.assoc2