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

deferred class
	TEST_INHERITANCE_REDEFINE_01
inherit
	TEST_INHERITANCE_01
	rename	test as test1
	REDEFINE
		is_equal,
		out,
		conforms_to
	end
	ANY
	undefine
		is_equal,
		out,
		conforms_to


	redefine
		is_equal,
		out,
		conforms_to

	end



feature
test is
		--
	do

	end


	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

	conforms_to (other: ANY): BOOLEAN is
			-- Does type of current object conform to type
			-- of `other' (as per Eiffel: The Language, chapter 13)?

		do

		end


end