pair : 'a -> 'b -> 'a * 'b
STRUCTURE
Lib
SYNOPSIS
Makes two values into a pair.
DESCRIPTION
pair x y returns (x, y).
FAILURE
Never fails.
SEEALSO
rpair, swap, fst, snd, pair_of_list, triple, quadruple, curry, uncurry
HOL  Kananaskis-14