The module tag encloses all element tags for a unit. It can contain only element tags for all identifiers in the unit and a descr tag describing the unit itself. The module tag should occur inside a package tag.
The name attribute should have as a value the name of the unit which is described by the module. This name is not case sensitive.
See also: package (202), descr (165), element (173)