Module String_notation_plugin

module G_string : sig ... end
module String_notation : sig ... end