# Iterator on a 'values' point of view of a map
class MapValuesIterator[K, V]
	super Iterator[V]
	# The original iterator
	var original_iterator: MapIterator[K, V]

	redef fun is_ok do return self.original_iterator.is_ok
	redef fun next do self.original_iterator.next
	redef fun item do return self.original_iterator.item
end