fact: Definition fold_item' (fold_nt : default_nonterminal_carrierT -> state) (it : opt.item state) : state := match it with | opt.Terminal tv => tv | opt.NonTerminal nt nt_idx => fold_nt nt_idx end.
imports: Coq.Sets.Ensembles Coq.Classes.Morphisms Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.ContextFreeGrammar.Carriers Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.Precompute Fiat.Parsers.BaseTypes Fiat.Parsers.Splitters.RDPList Fiat.Parsers.ContextFreeGrammar.Fix.Definitions Fiat.Common.List.ListMorphisms