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
el : int -> 'a list -> 'a
SYNOPSIS
Extracts a specified element from a list.
DESCRIPTION
el i [x0;x1;...;xn] returns xi. Note that the elements are numbered
starting from 0, not 1.
FAILURE CONDITIONS
Fails with el if the integer argument is negative or greater than the
length of the list.