def Std.Format.getWidth (o : Lean.Options) : Nat

def Std.Format.getIndent (o : Lean.Options) : Nat

def Std.Format.getUnicode (o : Lean.Options) : Bool

opaque Std.Format.format.width : Lean.Option Nat

opaque Std.Format.format.unicode : Lean.Option Bool

opaque Std.Format.format.indent : Lean.Option Nat

def Std.Format.pretty' (f : Format) (o : Lean.Options := { }) : String

instance Lean.instToFormatName_lean : ToFormat Name

instance Lean.instToFormatDataValue : ToFormat DataValue

instance Lean.instToFormatProdNameDataValue : ToFormat (Name × DataValue)

def Lean.formatKVMap (m : KVMap) : Format

instance Lean.instToFormatKVMap : ToFormat KVMap