fact: Definition parse_item_correct str it p : parse_item str it = Some p -> simple_parse_of_item_correct G str it p.
imports: Coq.Classes.Morphisms Coq.Arith.PeanoNat Fiat.Parsers.StringLike.Core Fiat.Parsers.StringLike.Properties Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.SimpleCorrectness Fiat.Parsers.ContextFreeGrammar.SimpleCorrectnessMorphisms Fiat.Parsers.BaseTypes Fiat.Parsers.CorrectnessBaseTypes Fiat.Parsers.BaseTypesLemmas Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericCorrectnessBaseTypes Fiat.Parsers.ContextFreeGrammar.Valid Fiat.Parsers.GenericRecognizerMin Fiat.Parsers.SimpleRecognizer Fiat.Common