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.