Module Derive_plugin.G_derive
val __coq_plugin_name : stringval classify_derive_command : 'a -> Vernacextend.vernac_type * Vernacextend.vernac_when
Derive_plugin.G_deriveval __coq_plugin_name : stringval classify_derive_command : 'a -> Vernacextend.vernac_type * Vernacextend.vernac_when