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

def Lean.Syntax.formatStx (stx : Lean.Syntax) (maxDepth : optParam (Option Nat) none) (showInfo : optParam Bool false) : Lean.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.instToFormatSyntax : Lean.ToFormat Lean.Syntax

instance Lean.Syntax.instToStringSyntax : ToString Lean.Syntax

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

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