quadruple_of_list : 'a list -> 'a * 'a * 'a * 'a
STRUCTURE
SYNOPSIS
Turns a four-element list into a quadruple.
DESCRIPTION
quadruple_of_list [x1, x2, x3, x4] returns (x1, x2, x3, x4).
FAILURE
Fails if applied to a list that is not of length 4.
SEEALSO
HOL  Kananaskis-14