Number_string_notation_plugin.String_notation* String notation
val vernac_string_notation :
Vernacexpr.locality_flag ->
Libnames.qualid ->
Libnames.qualid ->
Libnames.qualid ->
Number.number_string_via option ->
Notation_term.scope_name ->
unit