Method decl_count

lean_py/kernel.py:279–280

(self)

    # -- env introspection ----------------------------------------------

    def decl_count(self) -> int:
        return int(self._lib.leanpy_kernel_decl_count(None))

    def all_decls(self) -> list[str]:
        s = self._lib.leanpy_kernel_all_decls(None)