Documentation

Lean.Data.Json.Printer

def Lean.Json.pretty (j : Lean.Json) (lineWidth : optParam Nat 80) :
Equations
  • j.pretty lineWidth = j.render.pretty lineWidth 0
Instances For
    Equations