class C

feature

	f alias "and" (x, y: BOOLEAN) is
			-- Binary operator for procedure
		do
		end

end