<moduleSpec>

<moduleSpec> (module specification) documenta la estructura, el contenido y la finalidad de un único módulo, es decir, un grupo de declaraciones específicamente indicado y visible externamente.
Módulotagdocs — 22 Documentation Elements
Atributos att.identified (@ident, @predeclare, @module, @mode)
typetipo de módulo que se genera
Estado Opcional
Valores A closed set of keywords yet to be defined
Used by model.oddDecl
May contain
Declaración
element moduleSpec
{
   att.global.attributes,
   att.identified.attributes,
   attribute type { text }?,
   ( model.glossLike*, exemplum*, remarks?, listRef* )
}