feat: equality non-hashable

key_set/base.py

@@ -120,6 +120,10 @@ def clone(self) -> KeySetNone:
 class KeySetSome(KeySet):
     """Represents the SOME sets: a concrete set (`A ⊂ 𝕌`)."""
 
+    def __init__(self, elements: set[str]):
+        """Requires the set of elements of the concrete set."""
+        self._elements = set(elements)
+
     def __eq__(self, other):
         """Returns True if `other` is KeySetSome."""
         if not isinstance(other, KeySet):
@@ -129,10 +133,6 @@ def __eq__(self, other):
         return isinstance(other, KeySetSome) and \
             self._elements == other.elements()
 
-    def __init__(self, elements: set[str]):
-        """Requires the set of elements of the concrete set."""
-        self._elements = set(elements)
-
     def key_set_type(self) -> KeySetType:
         """Returns the KeySetType that describes the set."""
         return KeySetType.SOME
@@ -160,6 +160,10 @@ class KeySetAllExceptSome(KeySet):
     Includes all the elements except the given ones (`A' = {x ∈ 𝕌 | x ∉ A}`).
     """
 
+    def __init__(self, elements: set[str]):
+        """Requires the set of elements of the concrete set."""
+        self._elements = set(elements)
+
     def __eq__(self, other):
         """Returns True if `other` is KeySetAllExceptSome."""
         if not isinstance(other, KeySet):
@@ -169,10 +173,6 @@ def __eq__(self, other):
         return isinstance(other, KeySetAllExceptSome) and \
             self._elements == other.elements()
 
-    def __init__(self, elements: set[str]):
-        """Requires the set of elements of the concrete set."""
-        self._elements = set(elements)
-
     def key_set_type(self) -> KeySetType:
         """Returns the KeySetType that describes the set."""
         return KeySetType.ALL_EXCEPT_SOME