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

Method add_eq

lean_py/z3/core.py:4690–4691  ·  view source on GitHub ↗
(self, cb: Any)

Source from the content-addressed store, hash-verified

4688 pass
4689
4690 def add_eq(self, cb: Any) -> None:
4691 pass
4692
4693 def add_diseq(self, cb: Any) -> None:
4694 pass

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected