<moduleSpec>
<moduleSpec> (specifica del modulo) documenta struttura, contenuto e scopo di un unico modulo, cioè un gruppo di dichiarazioni specificamente indicato ed esternamente visibile | |||||||
Modulo | tagdocs — 22 Documentation Elements | ||||||
Attributi | att.identified (@ident, @predeclare, @module, @mode)
| ||||||
Usato da | model.oddDecl | ||||||
Può contenere | |||||||
Dichiarazione | element moduleSpec { att.global.attributes, att.identified.attributes, attribute type { text }?, ( model.glossLike*, exemplum*, remarks?, listRef* ) } |