1\DOC pair
2
3\TYPE {pair : 'a -> 'b -> 'a * 'b}
4
5\SYNOPSIS
6Makes two values into a pair.
7
8\DESCRIBE
9{pair x y} returns {(x, y)}.
10
11\FAILURE
12Never fails.
13
14\SEEALSO
15Lib.rpair, Lib.swap, Lib.fst, Lib.snd, Lib.pair_of_list, Lib.triple, Lib.quadruple, Lib.curry, Lib.uncurry.
16\ENDDOC
17