fact: Definition parse_nonterminal (nt : String.string) : option simple_parse_of := parse_nonterminal str nt.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericRecognizer