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

Class IteNode

lean_py/z3/_ast.py:202–205  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

200
201@dataclass(frozen=True)
202class IteNode:
203 cond: ASTNode
204 then_: ASTNode
205 else_: ASTNode
206
207
208@dataclass(frozen=True)

Callers 4

__abs__Method · 0.90
IfFunction · 0.90
_bool_to_intFunction · 0.90
_substitute_astFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected