fact: Example js_comment_parses_multiline : parse_of_grammar ("/* x *" ++ newline ++ "a // as/*" ++ newline ++ "a* / */")%string js_comment_grammar.
imports: Coq.Strings.String Coq.Strings.Ascii Coq.Lists.List Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.Notations Fiat.Parsers.StringLike.String Fiat.Parsers.Grammars.ABStar Fiat.Parsers.Grammars.ExpressionNumPlusParen Fiat.Parsers.Grammars.ExpressionParen Fiat.Parsers.Grammars.StringLiteral Fiat.Parsers.Grammars.JSComment