请问小程序里的web-view内的 jssdk 中的 wx.miniProgram 相关的 types 在哪里可以找到呢？

我目前只找到里 [wx-js-sdk-dt](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/master/types/wx-js-sdk-dt) ，但是这里面并没有 [wx.miniProgram](https://developers.weixin.qq.com/miniprogram/dev/component/web-view.html) 相关的部分，我搜索里一下这个仓库，也没找到相关类型。请问是否需要单独安装某个模块，或者说需要补充现有的 types ？