functional :: EnumerateIter :: defaultinit
# An iterator that maps each item to a pair containing the item with its # current count. class EnumerateIter[E] super FunIter[E, Pair[Int,E]] redef fun item do return new Pair[Int,E](0, my_iter.item) end end