Method __setitem__

lean_py/z3/core.py:3087–3088

(self, k: Any, v: Any)

        self._map: dict[Any, Any] = {}

    def __setitem__(self, k: Any, v: Any) -> None:
        self._map[k] = v

    def __getitem__(self, k: Any) -> Any:
        return self._map[k]