<moduleSpec>
| <moduleSpec> (module specification) documents the structure, content, and purpose of a single module, i.e. a named and externally visible group of declarations. | |||||||
| Module | tagdocs — 22 Documentation Elements | ||||||
| Attributes | att.identified (@ident, @predeclare, @module, @mode)
| ||||||
| Used by | model.oddDecl | ||||||
| May contain | |||||||
| Declaration | element moduleSpec { att.global.attributes, att.identified.attributes, attribute type { text }?, ( model.glossLike*, exemplum*, remarks?, listRef* ) } | ||||||
