from sympy.core import Basic, Expr
from sympy.core.numbers import Infinity, NegativeInfinity
from sympy.multipledispatch import Dispatcher
from sympy.sets import Interval
from sympy.sets.sets import FiniteSet

_set_add: Dispatcher
_set_sub: Dispatcher

@_set_add.register(Basic, Basic)
def _(x, y) -> None: ...
@_set_add.register(Expr, Expr)
def _(x, y): ...
@_set_add.register(Interval, Interval)
def _(x, y) -> FiniteSet | Interval: ...
@_set_add.register(Interval, Infinity)
def _(x, y) -> FiniteSet | Interval: ...
@_set_add.register(Interval, NegativeInfinity)
def _(x, y) -> FiniteSet | Interval: ...
@_set_sub.register(Basic, Basic)
def _(x, y) -> None: ...
@_set_sub.register(Expr, Expr)
def _(x, y): ...
@_set_sub.register(Interval, Interval)
def _(x, y) -> FiniteSet | Interval: ...
@_set_sub.register(Interval, Infinity)
def _(x, y) -> FiniteSet | Interval: ...
@_set_sub.register(Interval, NegativeInfinity)
def _(x, y) -> FiniteSet | Interval: ...