提交 a3f0a4ea authored 作者: ferres's avatar ferres 提交者: Maxim Kochurov

mypy: fix graph/basic.py

上级 dd8895df
...@@ -710,7 +710,7 @@ class AtomicVariable(Variable[_TypeType, None]): ...@@ -710,7 +710,7 @@ class AtomicVariable(Variable[_TypeType, None]):
return cp return cp
class NominalVariable(AtomicVariable[_TypeType]): class NominalVariable(Generic[_TypeType, _IdType], AtomicVariable[_TypeType]):
"""A variable that enables alpha-equivalent comparisons.""" """A variable that enables alpha-equivalent comparisons."""
__instances__: dict[tuple["Type", Hashable], "NominalVariable"] = {} __instances__: dict[tuple["Type", Hashable], "NominalVariable"] = {}
......
Markdown 格式
0%
您添加了 0 到此讨论。请谨慎行事。
请先完成此评论的编辑!
注册 或者 后发表评论