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.