没有为以下模块(Mtime_clock、Mtime)提供实现

Question

在我的项目中，我使用如下所述安装的OCanren包：https://github.com/JetBrains-Research/OCanren#Installation。

我有一个使用OCanren的test.ml文件：

open OCanren

let _ = inj

和同一目录下的一个dune文件：

(executable
  (name      test)
  (libraries ocanren mtime mtime.clock.os mtime.clock mtime.top)
  (flags     (:standard -rectypes)))

这是我在尝试构建可执行文件时遇到的问题：

$ dune build test.exe
File "_none_", line 1:
Error: No implementations provided for the following modules:
         Mtime_clock referenced from ~/.opam/4.07.1+fp+flambda/lib/ocanren/OCanren.cmxa(Timer)
         Mtime referenced from ~/.opam/4.07.1+fp+flambda/lib/ocanren/OCanren.cmxa(Timer),
           ~/.opam/4.07.1+fp+flambda/lib/ocanren/OCanren.cmxa(Core)
Done: 19/20 (jobs: 1)(base) 

我如何提供Mtime_clock和Mtime的实现？

Answer 1

解决方案是在dune文件中将Mtime包放在OCanren之前：

(executable
  (name      test)
  (libraries mtime mtime.clock.os ocanren)
  (flags     (:standard -rectypes)))