def Std.Format.prettyExtra (f : Lean.Format) (w : optParam Nat Std.Format.defWidth) (indent : optParam Nat 0) (column : optParam Nat 0) : String

Renders a Format to a string. Similar to Format.pretty, but with additional options:

• w: the total width
• indent: the initial indentation
• column: the initial column for the first line