class interface ITERATOR_ON_DICTIONARY_KEYS[E->HASHABLE]
   -- Please do not use this class directly. Look at ITERATOR.

creation
   make (d: DICTIONARY[ANY,E])
      require
         d /= Void
      ensure
         dictionary = d

feature(s) from ITERATOR   start
      -- Positions the iterator to the first object in the
      -- aggregate to be traversed.


   is_off: BOOLEAN
      -- Returns true when there are no more objects in the
      -- sequence.


   item: E
      -- Returns the object at the current position in the
      -- sequence.

      require
         not is_off

   next
      -- Positions the iterator to the next object in the
      -- sequence.

      require
         not is_off

feature(s) from ITERATOR_ON_DICTIONARY_KEYS   make (d: DICTIONARY[ANY,E])
      require
         d /= Void
      ensure
         dictionary = d



end of ITERATOR_ON_DICTIONARY_KEYS[E->HASHABLE]