fact: Definition parse_productions' {len0} := Eval cbv [parse_productions' parse_nt_T simple_gendata parse_production_T] in parse_productions' str (len0 := len0).
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericRecognizer