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