fact: Definition char_at_matches_interp_flip {_ : Reflective.interp_RCharExpr_data Char} str (n : nat) := Reflective.char_at_matches_interp n str.
imports: Fiat.Parsers.ContextFreeGrammar.Reflective Fiat.Parsers.Reflective.Syntax Fiat.Parsers.Reflective.ParserSyntax Fiat.Parsers.Reflective.ParserSemantics Fiat.Parsers.Reflective.Reify Fiat.Parsers.BaseTypes Fiat.Parsers.ContextFreeGrammar.PreNotations