list_mk_pair
pairSyntax.list_mk_pair : term list -> term
Constructs a tuple from a list of terms.
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