indexing
	description: "Binary arithmetic operation. Version for Bench."
	date: "$Date$"
	revision: "$Revision$"

deferred class ARITHMETIC_AS

inherit
	BINARY_AS

end -- class ARITHMETIC_AS