class C

feature

	f alias "+" (x, y: BOOLEAN): BOOLEAN is
			-- Operator for neither unary nor binary feature
		do
		end

end