fact: Definition parse_nonterminal'_eq (nt : nonterminal_carrierT) : parse_nt_T_to_bool (parse_nonterminal' (gendata := gendata) str nt) = parse_nt_T_to_bool (parse_nonterminal' (gendata := gendata') str nt).
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericBoolCorrectnessBaseTypes Fiat.Parsers.GenericRecognizer Fiat.Parsers.GenericRecognizerExt Fiat.Common Fiat.Common.Wf1