Method __getitem__

lean_py/z3/solver.py:1050–1051

(self, key: str)

        return len(self._data)

    def __getitem__(self, key: str) -> Any:
        return self._data.get(key, 0)

    def __contains__(self, key: str) -> bool:
        return key in self._data