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