# Return the most specific values defined in `mmodule` and its imported modules.
	# `min_visibility_` is used to filter modules by their visibility in `mmodule`.
	# Unlike `lookup_all_values`, redefined values are hidden,
	# However, in case of conflit, all conflicting definitions are returned
	fun lookup_values(mmodule: MModule, min_visibility: MVisibility): Sequence[E]
	do
		var mmodules = lookup_all_modules(mmodule, min_visibility)
		mmodules = model.mmodule_importation_hierarchy.select_smallest(mmodules)
		var res = new Array[E]
		for m in mmodules do res.add defs[m]
		return res
	end