sig val typ : Coq.lazy_ref val of_int : int -> Constr.constr end