fact: Definition fold_nt_step (predata := @rdp_list_predata _ G) (valid0_len : nat) (fold_nt : forall valid_len : nat, nonterminals_listT -> String.string -> default_nonterminal_carrierT -> T) (valid0 : nonterminals_listT) (nt : String.string) (nt_idx : default_nonterminal_carrierT) : T.
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.Lists.List Coq.ZArith.ZArith Fiat.Parsers.ContextFreeGrammar.Carriers Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.BaseTypesLemmas Fiat.Parsers.Splitters.RDPList Fiat.Parsers.ContextFreeGrammar.Precompute Fiat.Common Fiat.Common.List.Operations Fiat.Common.Equality Fiat.Common.OptionFacts