没有为以下模块Mtime_clock,Mtime提供任何实现

问题描述

在我的项目中,我正在使用按照以下说明安装的OCanren软件包:https://github.com/JetBrains-Research/OCanren#Installation

我有一个文件test.ml,使用OCanren:

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的实现?

解决方法

解决方案是将Mtime程序包放在unit文件中的OCanren之前:

dune