tryfind : ('a -> 'b) -> 'a list -> 'b

- STRUCTURE
- SYNOPSIS
- Returns the result of the first successful application of a function to the elements of a list.
- DESCRIPTION
- 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

HOL Kananaskis-14