indexing
	description: "TODO"
	date: "$Date$"
	revision: "$Revision$"

class TAPE

feature

	save (o: ANY)
		indexing
			pure: True
		require
			o_not_void: o /= Void
		do
			-- ...
		end

end