没有接口的dune utop lib

Question

是否可以dune utop mylib以“混杂模式”加载库，而该库会忽略.mli接口文件并公开内部信息，例如未在公共接口中列出的值或类型？ / p>

实际上，“从内部”而不是从“外部”加载utop，并发布标准open命令，该命令具有由公共接口强制执行的抽象。

Answer 1

这是不可能的。您可以在dune的github存储库上打开一个票证，以请求该功能。