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
tl : 'a list -> 'a list

SYNOPSIS
Computes the tail of a list (the original list less the first element).

DESCRIPTION
tl [x1;...;xn] returns [x2;...;xn].

FAILURE CONDITIONS
Fails with tl if the list is empty.

SEE ALSO
hd, el.