fact: Definition parse_item (it : item Char) : option simple_parse_of_item := parse_item str it.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericRecognizer