of

fun of(left: Term, right: Term): Tuple

Creates a Tuple with left and right as its two direct arguments.


fun of(first: Term, second: Term, vararg others: Term): Tuple

Creates a right-nested Tuple out of first, second, and others.


fun of(terms: List<Term>): Tuple

Creates a right-nested Tuple out of terms.

Throws

if terms has fewer than 2 elements