fact: Fixpoint action_of_rproduction (pat : rproduction Char) : Type := match pat with | nil => T | cons it pat' => action_of_ritem it -> action_of_rproduction pat' end.
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