<moduleSpec>

<moduleSpec> (module specification) documents the structure, content, and purpose of a single module, i.e. a named and externally visible group of declarations.
Modultagdocs — 22 Documentation Elements
Attribute att.identified (@ident, @predeclare, @module, @mode)
typetype of module to be generated
Zustand Optional
Werte A closed set of keywords yet to be defined
Verwendet von model.oddDecl
Kann enthalten
Deklaration
element moduleSpec
{
   att.global.attributes,
   att.identified.attributes,
   attribute type { text }?,
   ( model.glossLike*, exemplum*, remarks?, listRef* )
}