∀ (ext : Lean.PersistentEnvExtension Lean.Name Lean.Name Lean.NameSet) (base : Lean.NameHashSet)
  (ext_1 : Lean.PersistentEnvExtension Lean.Name Lean.Name Lean.NameSet) (base_1 : Lean.NameHashSet),
  ({ ext := ext, base := base } = { ext := ext_1, base := base_1 }) = (ext = ext_1 ∧ base = base_1)