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