instance instToFormat {α : Type u_1} [ToString α] : Lean.ToFormat α

def List.format {α : Type u_1} [Lean.ToFormat α] : List α → Lean.Format

instance instToFormatList {α : Type u_1} [Lean.ToFormat α] : Lean.ToFormat (List α)

instance instToFormatArray {α : Type u_1} [Lean.ToFormat α] : Lean.ToFormat (Array α)

def Option.format {α : Type u} [Lean.ToFormat α] : Option α → Lean.Format

instance instToFormatOption {α : Type u} [Lean.ToFormat α] : Lean.ToFormat (Option α)

instance instToFormatProd {α : Type u} {β : Type v} [Lean.ToFormat α] [Lean.ToFormat β] : Lean.ToFormat (α × β)

def String.toFormat (s : String) : Lean.Format

instance instToFormatPos : Lean.ToFormat String.Pos