fact: Definition elements elt (m : t elt) : list (key * elt) := List.map (fun xy => (positive_to_nonterminal (fst xy), snd xy)) (PositiveMap.elements m).
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