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