Method __init__

lean_py/exceptions.py:42–47

(self, kind: str, message: str, context: dict | None = None)

    __slots__ = ("kind", "message", "context")

    def __init__(self, kind: str, message: str, context: dict | None = None) -> None:
        self.kind = kind
        self.message = message
        self.context = context or {}
        # Build a useful str() — RuntimeError uses the first arg.
        super().__init__(self._format())

    def _format(self) -> str:
        if self.context: