@[export lean_mk_antiquot_parenthesizer]

def Lean.PrettyPrinter.Parenthesizer.mkAntiquot.parenthesizer (name : String) (kind : SyntaxNodeKind) (anonymous isPseudoKind : Bool := true) : Parenthesizer

def Lean.PrettyPrinter.Parenthesizer.ident.parenthesizer : Parenthesizer

def Lean.PrettyPrinter.Parenthesizer.numLit.parenthesizer : Parenthesizer

def Lean.PrettyPrinter.Parenthesizer.scientificLit.parenthesizer : Parenthesizer

def Lean.PrettyPrinter.Parenthesizer.charLit.parenthesizer : Parenthesizer

def Lean.PrettyPrinter.Parenthesizer.strLit.parenthesizer : Parenthesizer

@[export lean_pretty_printer_parenthesizer_interpret_parser_descr]

unsafe def Lean.PrettyPrinter.Parenthesizer.interpretParserDescr : ParserDescr → CoreM Parenthesizer

@[export lean_mk_antiquot_formatter]

def Lean.PrettyPrinter.Formatter.mkAntiquot.formatter (name : String) (kind : SyntaxNodeKind) (anonymous isPseudoKind : Bool := true) : Formatter

def Lean.PrettyPrinter.Formatter.ident.formatter : Formatter

def Lean.PrettyPrinter.Formatter.numLit.formatter : Formatter

def Lean.PrettyPrinter.Formatter.scientificLit.formatter : Formatter

def Lean.PrettyPrinter.Formatter.charLit.formatter : Formatter

def Lean.PrettyPrinter.Formatter.strLit.formatter : Formatter

@[export lean_pretty_printer_formatter_interpret_parser_descr]

unsafe def Lean.PrettyPrinter.Formatter.interpretParserDescr : ParserDescr → CoreM Formatter