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

Class SignExtNode

lean_py/z3/_ast.py:266–268  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

264
265@dataclass(frozen=True)
266class SignExtNode:
267 bits: int
268 arg: ASTNode
269
270
271@dataclass(frozen=True)

Callers 2

SignExtFunction · 0.90
_substitute_astFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected