indexing description: "Cursors for arrayed lists" names: fixed_list_cursor, cursor class interface ARRAYED_LIST_CURSOR create make (current_index: INTEGER) invariant -- from GENERAL reflexive_equality: standard_is_equal (Current); reflexive_conformance: conforms_to (Current); end -- class ARRAYED_LIST_CURSOR