fact: Definition parser_informative (str : Coq.Strings.String.string) : option (@simple_parse_of_item Ascii.ascii).
imports: Fiat.Parsers.Grammars.ExpressionNumPlusParen Fiat.Parsers.Refinement.Tactics Fiat.Parsers.ActionEvaluator Fiat.Parsers.Refinement.SharpenedExpressionPlusParen Fiat.Parsers.Grammars.EvalGrammarTactics