fact: Definition parser_informative_opaque (str : Coq.Strings.String.string) : option (parse_of_item plus_expr_grammar str (NonTerminal (Start_symbol plus_expr_grammar))).
imports: Fiat.Parsers.Grammars.ExpressionNumPlusParen Fiat.Parsers.Refinement.Tactics Fiat.Parsers.ActionEvaluator Fiat.Parsers.Refinement.SharpenedExpressionPlusParen Fiat.Parsers.Grammars.EvalGrammarTactics