Class virtual Term_indexing.iterator

class virtual ['a] iterator : object .. end

iterator type over the Term_indexing.index.

method virtual is_empty : bool

are more elements left?

method virtual next : 'a

advances to and returns the next element.
Raises Exit if no more elements exist.