Koa.Context请求接口

Question

我正在将现有的节点项目重构为打字稿，并且遇到了我之前未处理过的问题。我正在使用koa-better-body，它正在向ctx.request对象添加属性。

因此ctx实现了Koa.Context接口。但是我仍然想使用通过正文解析器添加的属性，如何解释ctx.request实现KoaBetterBody.options接口的打字稿。