from typing import Any

from sympy.assumptions import Predicate
from sympy.assumptions.assume import AppliedPredicate

class CommutativePredicate(Predicate):
    name = ...
    handler = ...

binrelpreds = ...

class IsTruePredicate(Predicate):
    name = ...
    handler = ...
    def __call__(self, arg) -> AppliedPredicate | Any: ...
