Module Zify_plugin.G_zify

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