fact: Definition action_of_ritem (it : ritem Char) : Type := match it with | RTerminal _ => Char | RNonTerminal _ => T 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