pair : 'a -> 'b -> 'a * 'b
STRUCTURE
SYNOPSIS
Makes two values into a pair.
DESCRIPTION
pair x y returns (x, y).
FAILURE
Never fails.
SEEALSO
HOL  Kananaskis-13