fact: Definition fold elt A (f : key -> elt -> A -> A) := @PositiveMap.fold elt A (fun k => f (positive_to_nonterminal k)).
imports: Coq.PArith.BinPos Coq.PArith.Pnat Coq.Arith.Arith Coq.FSets.FMapInterface Coq.FSets.FMapPositive Fiat.Parsers.ContextFreeGrammar.Carriers Fiat.Common.List.ListFacts Fiat.Common.List.ListMorphisms Fiat.Common.Prod