swap : 'a * 'b -> 'b * 'a
STRUCTURE
Lib
SYNOPSIS
Swaps the two components of a pair.
DESCRIPTION
swap (x,y)
returns
(y,x)
.
FAILURE
Never fails.
SEEALSO
fst
,
snd
,
pair
,
rpair
HOL
Kananaskis-14