triple : 'a -> 'b -> 'c -> 'a * 'b * 'c
STRUCTURE
Lib
SYNOPSIS
Makes three values into a triple.
DESCRIPTION
triple x y z
returns
(x, y, z)
.
FAILURE
Never fails.
SEEALSO
triple_of_list
,
pair
,
quadruple
HOL
Kananaskis-14