<moduleSpec>

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

<rng:element name="moduleSpec">
 <rng:ref name="att.global.attributes"/>
 <rng:ref name="att.identified.attributes"/>
 <rng:ref name="att.combinable.attributes"/>
 <rng:optional>
  <rng:attribute name="type">
   <rng:text/>
  </rng:attribute>
 </rng:optional>
 <rng:group>
  <rng:zeroOrMore>
   <rng:ref name="model.glossLike"/>
  </rng:zeroOrMore>
  <rng:zeroOrMore>
   <rng:ref name="exemplum"/>
  </rng:zeroOrMore>
  <rng:optional>
   <rng:ref name="remarks"/>
  </rng:optional>
  <rng:zeroOrMore>
   <rng:ref name="listRef"/>
  </rng:zeroOrMore>
 </rng:group>
</rng:element>
element moduleSpec
{
   att.global.attributes,
   att.identified.attributes,
   att.combinable.attributes,
   attribute type { text }?,
   ( model.glossLike*, exemplum*, remarks?, listRef* )
}
例
<moduleSpec ident="namesdates">
 <altIdent type="FPI">Names and Dates</altIdent>
 <desc>Additional elements for names and dates</desc>
</moduleSpec>