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.