(motive : Lean.Name × Lean.Name × Lean.Linter.MissingDocs.Handler → Sort u_1) →
  (x : Lean.Name × Lean.Name × Lean.Linter.MissingDocs.Handler) →
    ((n k : Lean.Name) → (h : Lean.Linter.MissingDocs.Handler) → motive (n, k, h)) → motive x