fact: Example paren_expr_parses_1 : parse_of_grammar ( ( "(((123)))"%string)) paren_expr_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