class A

feature -- Unary features

	un alias "not": BOOLEAN is
		do
		end

	up alias "+": BOOLEAN is
		do
		end

feature -- Binary features

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

	bp alias "+" (x: BOOLEAN): BOOLEAN is
		do
		end

end