Lib.triple_of_list

triple_of_list : 'a list -> 'a * 'a * 'a

STRUCTURE: Lib
SYNOPSIS: Turns a three-element list into a triple.
DESCRIPTION: triple_of_list [x, y, z] returns (x, y, z).
FAILURE: Fails if applied to a list that is not of length 3.
SEEALSO: singleton_of_list, pair_of_list, quadruple_of_list

HOL Kananaskis-13