swap : 'a * 'b -> 'b * 'a
STRUCTURE
SYNOPSIS
Swaps the two components of a pair.
DESCRIPTION
swap (x,y) returns (y,x).
FAILURE
Never fails.
SEEALSO
HOL  Trindemossen-1