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