class ABP

feature

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

end