list_mk_pair : term list -> term
STRUCTURE
pairSyntax
SYNOPSIS
Constructs a tuple from a list of terms.
DESCRIPTION
list_mk_pair([t1,...,tn]) returns the term (t1,...,tn).
FAILURE
Fails if the list is empty.
EXAMPLE
- pairSyntax.list_mk_pair [Term `1`, T, Term `2`];
> val it = `(1,T,2)` : term

- pairSyntax.list_mk_pair [Term `1`];
> val it = `1` : term

SEEALSO
strip_pair, mk_pair
HOL  Trindemossen-1