Method decl_exists

lean_py/kernel.py:294–295

(self, name: str)

        return s.split("\n") if s else []

    def decl_exists(self, name: str) -> bool:
        return self._lib.leanpy_kernel_decl_exists(name)

    def decl_type(self, name: str) -> str:
        return self._lib.leanpy_kernel_decl_type(name)