EXTENSIBILITY
EXTENSIBILITY
permet de déclarer que les types de la sorte choix, ensemble, enuméré et séquence sont automatiquement extensible.
Cela est équivalent à ajouter explicitement la marque d'extension ...
à la fin de ces types.
-- Le module est automatiquement extensible.
MonModule DEFINITIONS EXTENSIBILITY IMPLIED ::=
BEGIN
...
END