fact: Definition compile_productions (expr : Core.productions Char) : opt.productions T := List.map compile_production expr.
imports: Coq.Strings.String Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.Carriers Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Common.List.Operations Fiat.Common.Equality