I’ve been looking at some of Jane Street’s open source libraries and came across the use of
[module]_intf.ml files in combination with
[module].mli files. An example of this is
applicative, defined in
Aside from eliminating the need to write signatures out in both implementation and interfaces files, what are the advantages of this approach?