Separate Compilation Last updated June 2, 2022

One of the distinguishing features of OCaml is its support for separate compilation of interfaces and implementations. But there is more to it than just separate compilation. Dependencies can also be expressed independently - if the build tool supports it.

Separate compilation of structfiles and sigfiles is always possible but it is not required.