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