summaryrefslogtreecommitdiffstats
path: root/src/act4e_solutions/sets_product.py
diff options
context:
space:
mode:
Diffstat (limited to 'src/act4e_solutions/sets_product.py')
-rw-r--r--src/act4e_solutions/sets_product.py6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/act4e_solutions/sets_product.py b/src/act4e_solutions/sets_product.py
index d3e5558..f81f3fe 100644
--- a/src/act4e_solutions/sets_product.py
+++ b/src/act4e_solutions/sets_product.py
@@ -8,11 +8,11 @@ X = TypeVar("X")
class SolMakeSetProduct(I.MakeSetProduct):
@overload
def product(self, components: Sequence[I.FiniteSet[X]]) -> I.FiniteSetProduct[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
@overload
def product(self, components: Sequence[I.Setoid[X]]) -> I.SetProduct[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
def product(self, components: Sequence[I.Setoid[X]]) -> I.SetProduct[X, Any]:
- raise NotImplementedError()
+ raise NotImplementedError() # implement here