fact: Definition string_grammar : grammar ascii := [[[ ("string" ::== """" "inner_string" """");; ("inner_string" ::== "" || "\" "special_character" "inner_string" || "unspecial_character" "inner_string");; ("special_character" ::== ("""" || "\")%char);; ("unspecial_character" ::== ¬("""" || "\")) ]]]%grammar.
imports: Fiat.Parsers.ContextFreeGrammar.Notations