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

Method add

lean_py/z3/core.py:4705–4706  ·  view source on GitHub ↗
(self, expr: Any)

Source from the content-addressed store, hash-verified

4703 pass
4704
4705 def add(self, expr: Any) -> None:
4706 pass
4707
4708 def propagate(self, e: Any, ids: Any, eqs: Any = None) -> None:
4709 pass

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected