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