deferred class
	T_CURSOR [G]

feature

	container: T_TRAVERSABLE [G] is
		deferred
		end

end