.
Pour un module, son chemin d'arcs doit être défini, sinon il est impossible de l'idenfier sans ambiguïté.
-- Definition d'une sequence avec trois proprietes.
MonType ::= SEQUENCE
{
MaProprieteA BOOLEAN,
MaProprieteB INTEGER,
MaProprieteC CHARACTER STRING
}
-- Definition d'une valeur.
MaValeur1 MonType ::= {MaProprieteA TRUE, MaProprieteB 1, MaProprieteC "coucou"}
-- Definition d'une valeur selectionnant la valeur d'une propriete.
MaValeur2 INTEGER ::= MaValeur1.MaProprieteB