OCaml 和 dune ：将小型库集成到更大的库中

Question

我正在开发一个带有沙丘的大型图书馆。让我们将此库称为L。

为避免造成大混乱，沙丘项目有许多较小的库：A、B、C、... 这些库相互依赖。

我希望用户能够opam install L，然后访问不同的小型库，如L.A、L.B、等。

这样做的正确方法是什么？

按照@glennsl 的评论编辑：

这是文件系统树：

l/
l/dune-project
l/a            <- This directory contains library A
l/a/dune
l/b            <- This directory contains library B
l/b/dune

在l/a/dune：

(library
 (name a)
 (public_name l.a))

在l/b/dune：

(library
 (name b)
 (public_name l.b)
 (libraries a)) 

在l/a/dune-project：

(name l)

我找不到如何将A 和B 公开为L 的模块。

Answer 1

除非有一些配置设置干扰，否则这应该只是将其他库的模块导出为模块别名的问题：

(* L.ml (and L.mli) *)

module A = A
module B = B
module C = C

(* ... *)

这实际上是dune 对命名空间库模块自动执行的操作。如果您还没有明确的 L 主模块，则必须手动添加也会自动生成的模块别名。