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.