sig
  val typ : Term.constr lazy_t
  val pair : Term.constr lazy_t
  val of_pair :
    Term.constr -> Term.constr -> Term.constr * Term.constr -> Term.constr
end