fact: Definition parse_nonterminal_or_abort : forall (p : nat * nat) (valid : nonterminals_listT) (offset : nat) (len : nat), len <= fst p -> nonterminal_carrierT -> option simple_parse_of := parse_nonterminal_or_abort str.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericRecognizer