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