fact: Definition ab_star_parser_ocaml (str : Ocaml.Ocaml.string) : bool.
imports: Fiat.Parsers.Grammars.ABStar Fiat.Parsers.Refinement.Tactics Fiat.Parsers.ParserFromParserADT Fiat.Parsers.ExtrOcamlParsers Fiat.Parsers.StringLike.OcamlString