mk_pair : term * term -> term

SYNOPSIS
Constructs object-level pair from a pair of terms.

DESCRIPTION
mk_pair(`t1`,`t2`) returns `(t1,t2)`.

FAILURE CONDITIONS
Never fails.

EXAMPLE
  # mk_pair(`x:real`,`T`);;
  val it : term = `x,T`

SEE ALSO
dest_pair, is_pair, mk_cons.