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.