Documentation

Lean.Util.PPExt

structure Lean.PPContext :
Instances For
    @[inline, reducible]
    Instances For
      structure Lean.PPFns :
      Instances For
        Instances For
          Instances For