∀ (declName : Lean.Name) (keys : Array Lean.Meta.SimpTheoremKey) (declName_1 : Lean.Name)
  (keys_1 : Array Lean.Meta.SimpTheoremKey),
  ({ declName := declName, keys := keys } = { declName := declName_1, keys := keys_1 }) =
    (declName = declName_1 ∧ keys = keys_1)