fact: Definition parser' : Parser G stringlike_stringlike.
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