class C [G, H -> B]

inherit B

feature

	put (other: detachable D [like {H}.item])
		do
		end

end