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