Method __exit__

lean_py/z3/solver.py:645–646

(self, *exc)

        return self

    def __exit__(self, *exc) -> None:
        self.pop()

    def __repr__(self) -> str:
        return f"[{', '.join(repr(a) for a in self._assertions)}]"