note
	description: "Size for enumerated values"
	date: "$Date$"
	revision: "$Revision$"

once class
	VALUE_SIZE
create
	i8, i16, i32, i64

feature {NONE} -- Creation

	i8 once end
	i16 once  end
	i32 once  end
	i64 once  end

feature -- Instances

	instances: ITERABLE[VALUE_SIZE]
			-- All known value sizes.
		do
			Result :=<<
				{VALUE_SIZE}.i8,
				{VALUE_SIZE}.i16,
				{VALUE_SIZE}.i32,
				{VALUE_SIZE}.i64
			>>
		ensure
			is_class: class
		end
end