Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

swap

Lib.swap : 'a * 'b -> 'b * 'a

Swaps the two components of a pair.

swap (x,y) returns (y,x).

Failure

Never fails.

See also

Lib.fst, Lib.snd, Lib.pair, Lib.rpair