The model considered

Property definitions

nitc $ MModule :: model=
	# The model considered
	redef var model
src/model/mmodule.nit:77,2--78,16