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

Method __len__

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

Source from the content-addressed store, hash-verified

1045 self._data = data or {}
1046
1047 def __len__(self) -> int:
1048 return len(self._data)
1049
1050 def __getitem__(self, key: str) -> Any:
1051 return self._data.get(key, 0)

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected