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

Method __iter__

lean_py/z3/solver.py:534–535  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

532 return False
533
534 def __iter__(self):
535 return iter([])
536
537 def sexpr(self) -> str:
538 return "(model)"

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected