fact: Definition parse_item' := Eval cbv [parse_item' parse_nt_T parse_item_T parse_production_T simple_gendata] in parse_item' str.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericRecognizer