Modularité V
Construire un environnement par importation
-
C : les liaisons déclarées dans les interfaces mod.mli
connues du système sont accessibles avec la notation
mod__idf.
-
ouvrir mod: placer les liaisons de mod au début de O.
-
Si idf de mod déjà lié dans O
=>
masquage de la liaison antérieure, qui reste accessible avec la
notation complète.
-
Aucun masquage des liaisons de D.
Autre choix possible : pas de masquage dans O. Si conflit,
notation complète (choix de Ada).