(self)
| 280 | return int(self._lib.leanpy_kernel_decl_count(None)) |
| 281 | |
| 282 | def all_decls(self) -> list[str]: |
| 283 | s = self._lib.leanpy_kernel_all_decls(None) |
| 284 | return s.split("\n") if s else [] |
| 285 | |
| 286 | def catalog(self) -> list[str]: |
| 287 | s = self._lib.leanpy_kernel_catalog(None) |
nothing calls this directly
no outgoing calls
no test coverage detected