class C

feature

	f alias "and" (x: BOOLEAN): BOOLEAN is
		do
		end

	g alias "and" (x: BOOLEAN): BOOLEAN is
		do
		end

end