fact: Definition combine_rproduction_with_action {T Char} (pat : rproduction Char) (act : action_of_rproduction T pat) : rproduction_with_action Char T := existT _ pat act.
imports: Coq.Strings.String Coq.Lists.List Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.Reflective Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Common.Notations