fact: Definition parse_item_eq (it : item Char) : parse_item_T_to_bool (parse_item (gendata := gendata) str it) = parse_item_T_to_bool (parse_item (gendata := gendata') str it) := parse_item'_eq _ _ parse_nonterminal'_eq _ _ _.
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