fact: Definition parse_nonterminal_opt (str : String) (nt : String.string) : { b : _ | b = parse_nonterminal (data := optdata) str nt }.
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.Lists.List Coq.Strings.String Coq.Arith.PeanoNat Coq.Arith.Compare_dec Coq.Arith.Wf_nat Fiat.Common.List.Operations Fiat.Common.List.ListMorphisms Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.ContextFreeGrammar.Properties Fiat.Parsers.ContextFreeGrammar.Carriers Fiat.Parsers.ContextFreeGrammar.SimpleCorrectness Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericCorrectnessBaseTypes Fiat.Parsers.BaseTypes Fiat.Parsers.BaseTypesLemmas Fiat.Parsers.CorrectnessBaseTypes Fiat.Common Fiat.Common.Wf Fiat.Common.Wf2 Fiat.Common.Telescope.Core Fiat.Parsers.GenericRecognizerExt Fiat.Parsers.GenericRecognizer Fiat.Parsers.GenericRecognizerCorrect Fiat.Parsers.Splitters.RDPList Fiat.Parsers.ContextFreeGrammar.Valid Fiat.Parsers.ContextFreeGrammar.ValidReflective Fiat.Parsers.ContextFreeGrammar.Reflective Fiat.Parsers.ContextFreeGrammar.ReflectiveLemmas Fiat.Parsers.RecognizerPreOptimized Fiat.Common.Match Fiat.Common.List.ListFacts Fiat.Common.Equality Fiat.Common.SetoidInstances Fiat.Common.List.ListMorphisms Fiat.Common.OptionFacts Fiat.Common.BoolFacts Fiat.Common.NatFacts Fiat.Common.Sigma Fiat.Parsers.StringLike.Core Fiat.Parsers.StringLike.Properties Fiat.Parsers.GenericRecognizerOptimizedTactics