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