{α : Type} →
  Array (Option Lean.Name) →
    Lean.Expr →
      (Array (Option Lean.Name) → Lean.PrettyPrinter.Delaborator.DelabM α) →
        optParam (Array (Option Lean.Name)) #[] → Lean.PrettyPrinter.Delaborator.DelabM α