length : 'a list -> int
SYNOPSIS
Computes the length of a list:
length [x1;...;xn]
returns
n
.
FAILURE CONDITIONS
Never fails.