indexing
	description: "Cursors for remembering positions in arbitrary data structures"
	names: cursor

class interface
	CURSOR

invariant

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

end -- class CURSOR