ocaml - 引用顶层文件中定义的模块类型

Question

在 OCaml 中，如果您的项目有一个名为 code.ml 的文件，您可以使用模块名称 Code 在其他文件中引用它。我想知道您是否定义了一个 .mli 文件，是否可以引用它以类似方式定义的签名。例如，如果您有一个名为 wow.mli 的文件，您可以有另一个包含声明的文件

module Func(St : Wow) = struct ... end

有没有办法按照这些思路做一些事情？

Answer 1

这对我有用:

module Func(St: module type of Wow) = struct ... end

详细来说，这是我所做的:

$ cat wow.mli
val f : int -> int
$ cat m.ml
module Func (St: module type of Wow) = struct let f x = St.f x end
$ ocamlopt -c wow.mli
$ ocamlopt -c m.ml