partial def Lean.Syntax.formatStxAux (maxDepth : Option Nat) (showInfo : Bool) (depth : Nat) : Syntax → Std.Format

def Lean.Syntax.formatStx (stx : Syntax) (maxDepth : Option Nat := none) (showInfo : Bool := false) : Std.Format

Pretty print the given syntax stx as a Format. Nodes deeper than maxDepth are omitted. Setting the showInfo flag will also print the SourceInfo for each node.

instance Lean.Syntax.instToFormat : Std.ToFormat Syntax

instance Lean.Syntax.instToString : ToString Syntax

instance Lean.Syntax.instToFormatTSyntax {k : SyntaxNodeKinds} : Std.ToFormat (TSyntax k)

instance Lean.Syntax.instToStringTSyntax {k : SyntaxNodeKinds} : ToString (TSyntax k)