Micropython: _thread模块已导入但未显示方法

Question

我在使用PyCharm社区版2023.3.2，并且已经安装并启用了Micropython 1.4.3-2023.3，想在Raspberry Pi Pico W上利用它的两个核心进行多线程编程，使用的是实验性的"_thread"库。当我尝试使用这个模块中的某个方法时，PyCharm却提示找不到这个方法，尽管它能找到_thread.pyi文件

当我搜索可用的方法时，只显示了4个特殊的方法

我觉得这只是PyCharm在引用方面出了问题，Pico W应该还是能执行我的代码，但有个参考来确认我的代码语法是否正确会更好。

我尝试过修复这个IDE，包括清除缓存和重启。我还在两个不同的设备上重新下载并安装了相同版本的Micropython，使用的PyCharm版本也是一样的。对于进一步的故障排除，我不知道该怎么做。