@[deprecated Lean.MessageData.ofConst]

def Lean.ppConst (e : Lean.Expr) : Lean.MessageData

Abbreviation for Lean.MessageData.ofConst.

Equations

• Lean.ppConst e = Lean.MessageData.ofConst e