combine : 'a list * 'b list -> ('a * 'b) list

- STRUCTURE
- 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

HOL Kananaskis-14