src/act4e_solutions/sets_power.py


1
2
3
4
5
6
7
8
9
10
11

from typing import Any, overload, TypeVar

import act4e_interfaces as I

X = TypeVar("X")


class SolFiniteMakePowerSet(I.FiniteMakePowerSet):
    def powerset(self, s: I.FiniteSet[X]) -> I.FiniteSetOfFiniteSubsets[X, Any]:
        raise NotImplementedError() # implement here