quadruple : 'a -> 'b -> 'c -> 'd -> 'a * 'b * 'c * 'd
STRUCTURE
SYNOPSIS
Makes four values into a quadruple.
DESCRIPTION
quadruple x1 x2 x3 x4 returns (x1, x2, x3, x4).
FAILURE
Never fails.
SEEALSO
HOL  Kananaskis-14