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

Class BinOpNode

lean_py/z3/_ast.py:189–192  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

187
188@dataclass(frozen=True)
189class BinOpNode:
190 op: str
191 lhs: ASTNode
192 rhs: ASTNode
193
194
195@dataclass(frozen=True)

Callers 15

__eq__Method · 0.90
__ne__Method · 0.90
_binopMethod · 0.90
__abs__Method · 0.90
__lt__Method · 0.90
__le__Method · 0.90
__gt__Method · 0.90
__ge__Method · 0.90
__init__Method · 0.90
_binopMethod · 0.90
__lt__Method · 0.90
__le__Method · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected