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

Method __init__

lean_py/z3/core.py:4726–4727  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

4724 """Propagation closures for user propagation."""
4725
4726 def __init__(self) -> None:
4727 self._closures: list[Any] = []
4728
4729 def register(self, closure: Any) -> int:
4730 self._closures.append(closure)

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected