MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / UnOpNode

Class UnOpNode

lean_py/z3/_ast.py:196–198  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

194
195@dataclass(frozen=True)
196class UnOpNode:
197 op: str
198 arg: ASTNode
199
200
201@dataclass(frozen=True)

Callers 7

__abs__Method · 0.90
__neg__Method · 0.90
__neg__Method · 0.90
__invert__Method · 0.90
NotFunction · 0.90
BV2IntFunction · 0.90
_substitute_astFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected