<moduleSpec>

<moduleSpec> (module specification) いちモジュールの構造，内容，目的を記録する．例えば，外部から名前で参 照可能な宣言集合などである．
モジュールtagdocs — 22 Documentation Elements
属性 att.identified (@ident, @predeclare, @module, @mode)
type 生成されたモジュールの種類．
状態 任意
値 A closed set of keywords yet to be defined
当該モジュールを使用するもの model.oddDecl
下位
core: desc gloss
tagdocs: altIdent equiv exemplum listRef remarks
宣言
element moduleSpec
{
   att.global.attributes,
   att.identified.attributes,
   attribute type { text }?,
   ( model.glossLike*, exemplum*, remarks?, listRef* )
}