Documentation

Lean.Data.Json.Printer

def Lean.Json.pretty (j : Lean.Json) (lineWidth : optParam Nat 80) :
Equations