∀ {kind : String} {declName : Lean.Name} {kind_1 : String} {declName_1 : Lean.Name},
  { kind := kind, declName := declName } = { kind := kind_1, declName := declName_1 } →
    kind = kind_1 ∧ declName = declName_1