# The main module of the analysis.
	# Used to perform types operations.
	var mainmodule: MModule