Jane Street Base 的 *_intf.ml 文件的用途是什么？

Question

这是一个一般的 OCaml 问题。

.mli 文件通常为其对应的 .ml 文件提供“接口”。

但在Jane Street's Base中有时会出现三个同名减扩展名的文件，例如（commit）：

• binary_searchable.ml
• binary_searchable.mli
• binary_searchable_intf.ml

为什么只有一些.ml有相应的.ml_intf.ml文件？而且，更一般地说，.mli 格式的局限性是什么，有时需要 _intf.ml 文件？