fact: Definition parser : Parser G stringlike_stringlike.
imports: Fiat.Parsers.GenericRecognizerEquality Fiat.Parsers.ParserInterface Fiat.Parsers.BaseTypes Fiat.Parsers.CorrectnessBaseTypes Fiat.Parsers.RecognizerPreOptimized Fiat.Parsers.BooleanRecognizerOptimizedReflective Fiat.Parsers.BooleanRecognizerOptimizedReflectiveCorrectness Fiat.Parsers.ParserInterfaceReflective Fiat.Parsers.BooleanRecognizerEquality Fiat.Parsers.ParserImplementation Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.ContextFreeGrammar.Transfer Fiat.Parsers.ContextFreeGrammar.SimpleTransfer Fiat.Parsers.ContextFreeGrammar.ValidReflective Fiat.Parsers.StringLike.Core