deferred class
	DYNAMIC_EXPRESSION [K]

feature

	at (a_target : ANY) : K is
		do
		end

	f (x: K): ANY is
		do
		end

end