src/act4e_solutions/posets_monoidal.py


1
2
3
4
5
6
7
8
9
10
11
12

from typing import TypeVar

import act4e_interfaces as I

A = TypeVar("A")
B = TypeVar("B")
X = TypeVar("X")


class SolMonoidalPosetOperations(I.MonoidalPosetOperations):
    def is_monoidal_poset(self, fp: I.FinitePoset[X], fm: I.FiniteMonoid[X]) -> bool:
        raise NotImplementedError()