∀ {γ : Type} (defn : Lean.KeyedDeclsAttribute.Def γ) (tableRef : IO.Ref (Lean.KeyedDeclsAttribute.Table γ))
  (ext : Lean.KeyedDeclsAttribute.Extension γ) (defn_1 : Lean.KeyedDeclsAttribute.Def γ)
  (tableRef_1 : IO.Ref (Lean.KeyedDeclsAttribute.Table γ)) (ext_1 : Lean.KeyedDeclsAttribute.Extension γ),
  ({ defn := defn, tableRef := tableRef, ext := ext } = { defn := defn_1, tableRef := tableRef_1, ext := ext_1 }) =
    (defn = defn_1 ∧ tableRef = tableRef_1 ∧ ext = ext_1)