<moduleSpec>

<moduleSpec> (spécification de module) documente la structure, le contenu et les fonctions d'un module, i.e. d'un groupe de déclarations qui porte un nom et qui est visible à l'extérieur
Moduletagdocs — 22 Documentation Elements
Attributs att.identified (@ident, @predeclare, @module, @mode)
typetype de module à générer
Statut Optionel
Valeurs A closed set of keywords yet to be defined
Utilisé par model.oddDecl
Peut contenir
Declaration
element moduleSpec
{
   att.global.attributes,
   att.identified.attributes,
   attribute type { text }?,
   ( model.glossLike*, exemplum*, remarks?, listRef* )
}