OCaml 和沙丘 : Integrate small libraries in a larger library

Question

我正在开发一个带有沙丘的大型图书馆。让我们调用这个库L .
为了避免造成大困惑，沙丘项目有许多较小的库:A , B , C , ...
这些库相互依赖。
我希望用户能够 opam install L ，然后以 L.A 的身份访问不同的小型库, L.B ， ETC。
这样做的正确方法是什么？
按照@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 的主模块，您将不得不手动添加也会自动生成的模块别名。