indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

deferred class
	TEST_INHERITANCE_01
inherit
	ANY
	undefine
		is_equal,
		out,
		conforms_to

	end
	NUMERIC
	redefine
		is_equal,
		out
	end

feature
a:INTEGER
		is_equal (other: like Current): BOOLEAN is
			-- Is `other' attached to an object considered
			-- equal to current object?

		do
			Result := standard_is_equal (other)

		end

	out: STRING is
			-- New string containing terse printable representation
			-- of current object
		do
			Result := tagged_out

		end

 test is
 		--
 	do

 	end


end