nitc :: model $ MModule :: intro_mclasses

	# All the classes introduced in the module
	var intro_mclasses = new Array[MClass]