This question comes up reasonably often, so let me point you to the answer by the creator of the language: What is the reason of separation of module implementation and signatures in OCaml? - #33 by xavierleroy
2 Likes