Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

assoc : 'a -> ('a * 'b) list -> 'b

SYNOPSIS

Searches a list of pairs for a pair whose first component equals a specified value.

DESCRIPTION

assoc x [(x1,y1);...;(xn,yn)] returns the first yi in the list such that xi equals x.

FAILURE CONDITIONS

Fails if no matching pair is found. This will always be the case if the list is empty.

EXAMPLE

  # assoc 2 [1,4; 3,2; 2,5; 2,6];;
  val it : int = 5