fact: Definition default_ParserReflective G : ParserReflective G := {| rhas_parse_correct := eq_refl |}.
imports: Fiat.Parsers.BooleanRecognizerOptimizedReflective Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.Reflective.Syntax Fiat.Parsers.Reflective.ParserSyntax Fiat.Parsers.Reflective.ParserPartialUnfold