fact: Definition compile_grammar (G : pregrammar' Char) : list (productions T) := List.map compile_productions (List.map snd (pregrammar_productions G)).
imports: Coq.Strings.String Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.Carriers Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Common.List.Operations Fiat.Common.Equality