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

Class InductiveCtorNode

lean_py/z3/_ast.py:455–458  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

453
454@dataclass(frozen=True)
455class InductiveCtorNode:
456 type_name: str
457 ctor_name: str
458 args: tuple[ASTNode, ...]
459
460
461@dataclass(frozen=True)

Callers 2

__call__Method · 0.90
createMethod · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected