Up
–
coq
»
Tuto3_plugin
» G_tuto3
Module
Tuto3_plugin.G_tuto3
val
__coq_plugin_name : string