<moduleSpec>

<moduleSpec> (specifica del modulo) documenta struttura, contenuto e scopo di un unico modulo, cioè un gruppo di dichiarazioni specificamente indicato ed esternamente visibile
Modulotagdocs — 22 Documentation Elements
Attributi att.identified (@ident, @predeclare, @module, @mode)
typetipo di modulo da generare
Stato Opzionale
Valori A closed set of keywords yet to be defined
Usato da model.oddDecl
Può contenere
Dichiarazione
element moduleSpec
{
   att.global.attributes,
   att.identified.attributes,
   attribute type { text }?,
   ( model.glossLike*, exemplum*, remarks?, listRef* )
}