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()
|