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
.