Up
–
coq-core
»
Ltac_plugin
» G_eqdecide
Module
Ltac_plugin.G_eqdecide
val
__coq_plugin_name : string