unzip : ('a * 'b) list -> 'a list * 'b list

SYNOPSIS
Converts a list of pairs into a pair of lists.

DESCRIPTION
unzip [(x1,y1);...;(xn,yn)] returns ([x1;...;xn],[y1;...;yn]).

FAILURE CONDITIONS
Never fails.

SEE ALSO
zip.