Zify_plugin.G_zify
val warn_deprecated_Spec : ?loc:Loc.t -> unit -> unit
val __coq_plugin_name : string