fact: Definition parser {HSLM : StringLikeMin Ascii.ascii} {HSL : StringLike Ascii.ascii} {HSLP : StringLikeProperties Ascii.ascii} {G : pregrammar Ascii.ascii} (preparser : ParserReflective G) (Hvalid : is_true (grammar_rvalid G)) (splitter_impl : FullySharpened (string_spec G HSL)) : Parser G HSL.
imports: Coq.Strings.String Fiat.Common.BoundedLookup Fiat.ADT.ComputationalADT Fiat.ADTRefinement.GeneralRefinements Fiat.ADTRefinement.Core Fiat.ADTNotation.BuildADTSig Fiat.Parsers.GenericRecognizerEquality Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.ParserADTSpecification Fiat.Parsers.ContextFreeGrammar.Valid Fiat.Parsers.ContextFreeGrammar.ValidReflective Fiat.Parsers.ParserImplementationOptimized Fiat.Parsers.ParserInterfaceReflective Fiat.Parsers.SplitterFromParserADT Fiat.Parsers.BaseTypes