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