An object of this class is returned by get_iterator() when called with a mapping.
get_iterator
inherit Iterator : predef::Iterator