Lib.quadruple

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 Trindemossen-1