fact: Definition parse_item_sound (str : String) (it : item Char) : parse_item_is_correct str it true (parse_item str it) -> parse_of_item G str it.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.GenericRecognizerMin Fiat.Parsers.BaseTypes Fiat.Parsers.CorrectnessBaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericCorrectnessBaseTypes Fiat.Parsers.MinimalParseOfParse Fiat.Common Fiat.Parsers.ContextFreeGrammar.Valid Fiat.Parsers.GenericRecognizer