split
Lib.split : ('a * 'b) list -> ('a list * 'b list)
Converts a list of pairs into a pair of lists.
split [(x1,y1),...,(xn,yn)] returns ([x1,...,xn],[y1,...,yn]).
Failure
Never fails.
Comments
Identical to the Basis function ListPair.unzip and the function
Lib.unzip.