Documentation

Init.Data.Format.Instances

instance instToFormat {α : Type u_1} [ToString α] :
def List.format {α : Type u_1} [Lean.ToFormat α] :
Instances For
    Instances For
      instance instToFormatProd {α : Type u} {β : Type v} [Lean.ToFormat α] [Lean.ToFormat β] :
      Instances For