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