class C

feature

	f alias "+" (x, y: BOOLEAN) is
			-- Operator for procedure
		do
		end

end