Двоичные файлы аннотаций (также известные как .cmt файлы) представляют собой двоичное представление типизированного дерева файлов (вместе с несколькими другими данными). По сути, они предназначены для инструментов, которые хотят проверять код без разбора и ввода самих файлов.
В качестве примера я считаю, что замечательный инструмент merlin проверяет файлы .cmt, если они присутствуют, и использует их для выполнения множества задач (типы печати, автозаполнение и т. Д.).
Если вы не пишете инструмент для OCaml, нет смысла пытаться использовать эти файлы. Если вы пишете инструмент, добро пожаловать в удивительный мир внутренних компонентов компилятора, где документация в значительной степени читает код.
Насколько я знаю, нет никаких обсуждений для компиляции файлов .cmt (хотя это не составит труда реализовать). В основном, нет особой причины для этого.