fact: Definition interp_ritem (expr : ritem Char) : item Char := match expr with | RTerminal x => Terminal (interp_RCharExpr x) | RNonTerminal x => NonTerminal x end.
imports: Coq.Strings.Ascii Fiat.Parsers.ContextFreeGrammar.Core Fiat.Common.Equality