Module String_notation_plugin.String_notation
val vernac_string_notation : Vernacexpr.locality_flag -> Libnames.qualid -> Libnames.qualid -> Libnames.qualid -> Notation_term.scope_name -> unit
String_notation_plugin.String_notation
val vernac_string_notation : Vernacexpr.locality_flag -> Libnames.qualid -> Libnames.qualid -> Libnames.qualid -> Notation_term.scope_name -> unit