OCaml：单文件模块签名定义而不使用.mli文件？

Question

使用一堆生成的OCaml文件，在不使用.mli文件的情况下定义顶层模块的签名会更简单，就像嵌套模块一样。例如，在Mymodule.ml中可以编写如下内容：

module self/this module : sig
... (* contents of the mli file *)
end =
struct
...
end

我找不到这样做的语法。它甚至可能吗？

Answer 1

您必须执行以下操作。我真的不知道为什么这会“更容易”，也许你应该提供一些细节来指出你正确的方向。

module X : sig ... end = 
  struct
    ...
  end
include X