indexing
	description: "References to special objects, for direct access to arrays and strings"

class interface
	TO_SPECIAL [T]

create 

	make_area (n: INTEGER)
		require
			non_negative_argument: n >= 0
		ensure
			area_allocated: area /= void and then area.count = n

feature -- Access

	area: SPECIAL [T]
			-- Special data zone
	
invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class TO_SPECIAL