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