Modularité III
Un module est défini par:
-
Un corps : définitions (types, fonctions, constantes, etc.)
regroupées dans un texte nommé mod.ml.
-
Une interface d'exportation nommée mod.mli qui définit les
déclarations visibles à l'extérieur: contient des déclarations de types
et de valeurs (nom, type).
-
Pour l'importateur: module = env. de typage (utilisé au cours du
typage)
-
si aucune interface mod.mli n'est définie, toutes les
déclarations sont exportées.