Module Cc_plugin.G_congruence

val __coq_plugin_name : string