fact: Definition fold_production' (fold_nt : String.string -> default_nonterminal_carrierT -> T) (its : opt.production T) := fold_right combine_production on_nil_production (map (fun it => match it with | opt.Terminal ch => ch | opt.NonTerminal nt nt_idx => on_nonterminal nt (fold_nt nt nt_idx) end) its).
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