fact: Definition paren_expr_parser (str : String.string) : bool.
imports: Fiat.Parsers.Refinement.Tactics Fiat.Parsers.Grammars.ExpressionNumPlus Fiat.Parsers.Refinement.DisjointRules Fiat.Parsers.ExtrOcamlParsers Fiat.Parsers.ParserFromParserADT Fiat.Parsers.ExtrOcamlParsers