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