fact: Definition evaluate_item (pit : simple_parse_of_item Char) : option match pit with | SimpleParseTerminal _ => Char | SimpleParseNonTerminal _ _ => T end := evaluate_item' evaluate_productions pit.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.BaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericRecognizer