fact: Definition list_to_productions {T} (default : T) (ls : list (string * T)) : string -> T := fun nt => option_rect (fun _ => T) snd default (find (fun k => string_beq nt (fst k)) ls).
imports: Coq.Strings.String Coq.Lists.List Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.Reflective Fiat.Common.List.Operations Fiat.Common.Equality Fiat.Common.Gensym