indexing
	description: "Representation of an Eiffel type."
	date: "$Date$"
	revision: "$Revision$"

class
	TYPE [G]

feature

	default_detachable_value: detachable G
		do
		end

end