我在Autojs官网文档中,看到"如果您想要使用TypeScript来开发,目前已经有开发者公布了一个可以把使用TypeScript进行Auto.js开发的工具,参见Auto.js DevTools。" 我似乎没有看到相关如何编码的文档??致使没文档也应该来个examples吧,要不然新手都不知道如何下手......