sig val typ : Term.constr lazy_t val of_int : int -> Term.constr end