fact: Definition ab_star_parser_informative_opaque (str : Coq.Strings.String.string) : option (parse_of_item ab_star_grammar str (NonTerminal (Start_symbol ab_star_grammar))).
imports: Fiat.Parsers.Grammars.ABStar Fiat.Parsers.Refinement.Tactics Fiat.Parsers.Refinement.SharpenedABStar