src/act4e_solutions/posets_sum.py


1
2
3
4
5
6
7
8
9
10
11

from typing import Any, overload, Sequence, TypeVar

import act4e_interfaces as I

X = TypeVar("X")


class SolFinitePosetConstructionSum(I.FinitePosetConstructionSum):
    def disjoint_union(self, ps: Sequence[I.FinitePoset[X]]) -> I.FinitePosetDisjointUnion[X, Any]:
        raise NotImplementedError() # implement here