def Lean.Parser.isQuotableCharForStrInterpolant (c : Char) : Bool

def Lean.Parser.interpolatedStrFn (p : Lean.Parser.ParserFn) : Lean.Parser.ParserFn

partial def Lean.Parser.interpolatedStrFn.parse (p : Lean.Parser.ParserFn) (input : String) (stackSize : Nat) (startPos : String.Pos) (c : Lean.Parser.ParserContext) (s : Lean.Parser.ParserState) : Lean.Parser.ParserState

@[inline]

def Lean.Parser.interpolatedStrNoAntiquot (p : Lean.Parser.Parser) : Lean.Parser.Parser

def Lean.Parser.interpolatedStr (p : Lean.Parser.Parser) : Lean.Parser.Parser