1\DOC triple_of_list
2
3\TYPE {triple_of_list : 'a list -> 'a * 'a * 'a}
4
5\SYNOPSIS
6Turns a three-element list into a triple.
7
8\DESCRIBE
9{triple_of_list [x, y, z]} returns {(x, y, z)}.
10
11\FAILURE
12Fails if applied to a list that is not of length 3.
13
14\SEEALSO
15Lib.singleton_of_list, Lib.pair_of_list, Lib.quadruple_of_list.
16
17\ENDDOC
18