require / typed for mrlib / path-dialog错误消息

Question

我正在尝试在类型/球拍程序中使用mrlib / path-dialog中的path-dialog%，但它抱怨我需要使用require / typed来导入它。

我确信这对熟悉require / typed的人来说很容易，但我不是那个人。主要的gui库和主要的db库都有类型版本，但似乎mrlib扩展在类型版本中不可用。

有人可以非常友好地解释如何解决此错误吗？

谢谢。

确切的错误消息是：

Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: path-dialog%
  from module: mrlib/path-dialog in: path-dialog%