combine : 'a list * 'b list -> ('a * 'b) list
STRUCTURE
Lib
SYNOPSIS
Transforms a pair of lists into a list of pairs.
DESCRIPTION
combine ([x1,...,xn],[y1,...,yn])
returns
[(x1,y1),...,(xn,yn)]
.
FAILURE
Fails if the two lists are of different lengths.
COMMENTS
Has much the same effect as the SML Basis function
ListPair.zip
except that it fails if the arguments are not of equal length. Also note that
zip
is a curried version of
combine
SEEALSO
zip
,
unzip
,
split
HOL
Kananaskis-14