list_mk_pair : (term list -> term)

SYNOPSIS
Constructs a tuple from a list of terms.

DESCRIBE
list_mk_pair(["t1";...;"tn"]) returns "(t1,...,tn)".

FAILURE
Fails with list_mk_pair if the list is empty.

EXAMPLE
#list_mk_pair ["1";"T";"2"];;
"1,T,2" : term

#list_mk_pair ["1"];;
"1" : term

SEEALSO  strip_pair,   mk_pair

HOL  Kananaskis 0