rev_assoc : 'a -> ('b * 'a) list -> 'b
- SYNOPSIS
-
Searches a list of pairs for a pair whose second component equals a specified
value.
- DESCRIPTION
-
rev_assoc y [(x1,y1);...;(xn,yn)] returns the first xi in the list
such that yi equals y.
- FAILURE CONDITIONS
-
Fails if no matching pair is found. This will always be the case if the list
is empty.
- EXAMPLE
-
# rev_assoc 2 [(1,4);(3,2);(2,5);(2,6)];;
val it : int = 3
- SEE ALSO
-
assoc, find, mem, tryfind, exists, forall.