class
	A [G]

feature

	item (v: G): INTEGER is
		do
		end

	item_bis (v: INTEGER): G is
		do
		end

end