Up
–
coq-core
»
Nsatz_plugin
» G_nsatz
Module
Nsatz_plugin.G_nsatz
val
__coq_plugin_name : string