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

Class BitvecASTSort

lean_py/z3/_ast.py:37–38  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

35
36@dataclass(frozen=True)
37class BitvecASTSort:
38 width: int
39
40
41@dataclass(frozen=True)

Callers 1

__init__Method · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected