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