# Iterator on a 'keys' point of view of a map
class MapKeysIterator[K, V]
	super Iterator[K]
	# 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.key
end