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

See also

pairSyntax.strip_pair, pairSyntax.mk_pair