class
	B [G]

inherit
	A [G]
		redefine
			item, item_bis
		end

feature -- 

	item (v: G): INTEGER is
		do
		end

	item_bis (v: INTEGER): G is
		do
		end

end