Method module_of

lean_py/kernel.py:303–304

(self, name: str)

        return self._lib.leanpy_kernel_decl_value(name)

    def module_of(self, name: str) -> str:
        return self._lib.leanpy_kernel_module_of_name_str(name)

    def is_internal_name(self, name: str) -> bool:
        return self._lib.leanpy_kernel_is_internal_name_str(name)