1\DOC combine
2
3\TYPE {combine : 'a list * 'b list -> ('a * 'b) list}
4
5\SYNOPSIS
6Transforms a pair of lists into a list of pairs.
7
8\KEYWORDS
9list.
10
11\DESCRIBE
12{combine ([x1,...,xn],[y1,...,yn])} returns {[(x1,y1),...,(xn,yn)]}.
13
14\FAILURE
15Fails if the two lists are of different lengths.
16
17\COMMENTS
18Has much the same effect as the SML Basis function {ListPair.zip}
19except that it fails if the arguments are not of equal length. Also
20note that {zip} is a curried version of {combine}
21
22\SEEALSO
23Lib.zip, Lib.unzip, Lib.split.
24\ENDDOC
25