zip : 'a list -> 'b list -> ('a * 'b) list
SYNOPSIS
Converts a pair of lists into a list of pairs.
DESCRIPTION
zip [x1;...;xn] [y1;...;yn]
returns
[(x1,y1);...;(xn,yn)]
.
FAILURE CONDITIONS
Fails if the two lists are of different lengths.
SEE ALSO
unzip
.