fact: Definition transfer_parser_keep_string {Char G} {HSLM HSL} (old : @Parser Char G HSLM HSL) (new_has_parse : @String Char HSLM -> _) (new_parse : @String Char HSLM -> _) (H_has_parse : forall s, new_has_parse s = has_parse old s) (H_parse : forall s, new_parse s = parse old s) : @Parser Char G HSLM HSL.
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