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

Equations

• Std.Format.prettyExtra f w indent column = let act := Std.Format.prettyM f w indent; (act { out := "", column := column }).snd.out