indexing
	description: "Cursors for circular lists"
	names: circular_cursor, cursor
	contents: generic

class interface
	CIRCULAR_CURSOR

create 

	make (curs: like cursor; int: BOOLEAN; start: INTEGER)

invariant

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

end -- class CIRCULAR_CURSOR