# Reverse iterator on ranges.
private class ReverseIteratorRange[E: Discrete]
	super Iterator[E]
	var range: Range[E]
	redef var item is noinit

	redef fun is_ok do return _item >= _range.first

	redef fun next do _item = _item.predecessor(1)

	init
	do
		_item = _range.last
	end
end