fact: Definition parser_eval (str : Coq.Strings.String.string) : option nat.
imports: Fiat.Parsers.Grammars.ExpressionNumPlusParen Fiat.Parsers.Refinement.Tactics Fiat.Parsers.ActionEvaluator Fiat.Parsers.Refinement.SharpenedExpressionPlusParen Fiat.Parsers.Grammars.EvalGrammarTactics