fact: Definition ab_star_parser_informative (str : Coq.Strings.String.string) : option (@simple_parse_of_item Ascii.ascii).
imports: Fiat.Parsers.Grammars.ABStar Fiat.Parsers.Refinement.Tactics Fiat.Parsers.Refinement.SharpenedABStar