class
	A [G -> TUPLE]

convert
	to_b: {B [G]}

feature -- Conversion

	to_b: B [G]
		do
		end

end