indexing
	description: "Cursors for hash table traversal"
	names: linked_list_cursor, cursor
	contents: generic

class interface
	HASH_TABLE_CURSOR

create 

	make (pos: INTEGER)
		ensure
			position_set: position = pos

invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class HASH_TABLE_CURSOR