Documentation

Lean.PrettyPrinter.Delaborator.SubExpr

Equations
Equations
partial def Lean.PrettyPrinter.Delaborator.SubExpr.withAppFnArgs {α : Type} {m : TypeType} [inst : Monad m] [inst : MonadReaderOf Lean.PrettyPrinter.Delaborator.SubExpr m] [inst : MonadWithReaderOf Lean.PrettyPrinter.Delaborator.SubExpr m] (xf : m α) (xa : αm α) :
m α
Equations
Equations
Equations
Equations
Equations
Equations
Equations