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

Method __iter__

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

Source from the content-addressed store, hash-verified

3063 self._elems[i] = v
3064
3065 def __iter__(self):
3066 return iter(self._elems)
3067
3068 def __contains__(self, v: Any) -> bool:
3069 return v in self._elems

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected