# Return all the values defined in `mmodule` and its imported modules.
	# `min_visibility` is used to filter modules by their visibility in `mmodule`.
	# This method could be usefull to check possible static conflicts.
	fun lookup_all_values(mmodule: MModule, min_visibility: MVisibility): Sequence[E]
	do
		var mmodules = lookup_all_modules(mmodule, min_visibility)
		mmodules = model.mmodule_importation_hierarchy.linearize(mmodules)
		var res = new Array[E]
		for m in mmodules do res.add defs[m]
		return res
	end