Module String_notation_plugin.G_string

val __coq_plugin_name : string