summaryrefslogtreecommitdiffstats
path: root/src/act4e_solutions/posets_product.py
blob: 035eabef95462f9b7411796492f6f4e803dda59e (plain)
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 MyFinitePosetConstructionProduct(I.FinitePosetConstructionProduct):
    def product(self, ps: Sequence[I.FinitePoset[X]]) -> I.FinitePosetProduct[X, Any]:
        raise NotImplementedError()