class
	A

convert
	to_b: {B}

feature
	to_b: B
		do
		end

end