src/act4e_solutions/sets_sum.py


1
2
3
4
5
6
7
8
9
10

from typing import Any, Sequence, TypeVar

import act4e_interfaces as I

X = TypeVar("X")


class SolFiniteMakeSetDisjointUnion(I.FiniteMakeSetDisjointUnion):
    def disjoint_union(self, components: Sequence[I.FiniteSet[X]]) -> I.FiniteSetDisjointUnion[X, Any]:
        raise NotImplementedError()  # implement here