nitc :: MModule :: mclassdefs=
(introduction and refinement)
# All the class definitions of the module # (introduction and refinement) var mclassdefs = new Array[MClassDef]