zip : 'a list -> 'b list -> ('a * 'b) list
STRUCTURE
SYNOPSIS
Transforms a pair of lists into a list of pairs.
DESCRIPTION
zip [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. zip is a curried version of combine
SEEALSO
HOL  Kananaskis-14