pair : ('a -> 'b -> ('a # 'b))

SYNOPSIS
Not implemented.

Makes two values into a pair.

DESCRIBE
pair x y returns (x,y).

FAILURE
Never fails.

SEEALSO  fst,   snd,   curry,   uncurry

HOL  Kananaskis 0