Method _format

lean_py/exceptions.py:49–53

(self)

        super().__init__(self._format())

    def _format(self) -> str:
        if self.context:
            ctx = ", ".join(f"{k}={v!r}" for k, v in self.context.items())
            return f"[{self.kind}] {self.message}  ({ctx})"
        return f"[{self.kind}] {self.message}"


class LeanPyCallbackError(LeanError):