Lib.pair_of_list

pair_of_list : 'a list -> 'a * 'a

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

HOL Kananaskis-14