# Range of discrete objects.
class Range[E: Discrete]
-special Collection[E]
+ super Collection[E]
redef readable var _first: E
class IteratorRange[E: Discrete]
# Iterator on ranges.
-special Iterator[E]
+ super Iterator[E]
var _range: Range[E]
redef readable var _item: E