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