core :: IteratorRange :: defaultinit
# Iterator on ranges. private class IteratorRange[E: Discrete] super Iterator[E] var range: Range[E] redef var item is noinit redef fun is_ok do return _item < _range.after redef fun next do _item = _item.successor(1) init do _item = _range.first end end