∀ {γ : Type} (toOLeanEntry : Lean.KeyedDeclsAttribute.OLeanEntry) (isBuiltin : Bool) (value : γ)
  (toOLeanEntry_1 : Lean.KeyedDeclsAttribute.OLeanEntry) (isBuiltin_1 : Bool) (value_1 : γ),
  ({ toOLeanEntry := toOLeanEntry, isBuiltin := isBuiltin, value := value } =
      { toOLeanEntry := toOLeanEntry_1, isBuiltin := isBuiltin_1, value := value_1 }) =
    (toOLeanEntry = toOLeanEntry_1 ∧ isBuiltin = isBuiltin_1 ∧ value = value_1)