∀ {toLinter : Batteries.Tactic.Lint.Linter} {name declName : Lean.Name} {toLinter_1 : Batteries.Tactic.Lint.Linter}
  {name_1 declName_1 : Lean.Name},
  { toLinter := toLinter, name := name, declName := declName } =
      { toLinter := toLinter_1, name := name_1, declName := declName_1 } →
    toLinter = toLinter_1 ∧ name = name_1 ∧ declName = declName_1