indexing
	description: "References to objects containing an integer value coded on 64 bits"
	status: "See notice at end of class"
	date: "$Date$"
	revision: "$Revision$"

class
	INTEGER_64_REF

feature
	item: INTEGER_64

	set_item (v: INTEGER_64) is
			-- 
		do
			
		end
		
end -- class INTEGER_64_REF