fact: Definition parse_nonterminal_prereified0 (str : String) (nt : String.string) : polyhas_parse_term cbool.
imports: Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.ContextFreeGrammar.ValidReflective Fiat.Parsers.BaseTypes Fiat.Parsers.BooleanRecognizerOptimized Fiat.Parsers.Reflective.Syntax Fiat.Parsers.Reflective.ParserSyntax Fiat.Parsers.Reflective.Semantics Fiat.Parsers.Reflective.ParserSemantics Fiat.Parsers.Reflective.SemanticsOptimized Fiat.Parsers.Reflective.ParserSemanticsOptimized Fiat.Parsers.Reflective.Morphisms Fiat.Parsers.Reflective.ParserReify Fiat.Parsers.Splitters.RDPList Fiat.Common