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