deferred class READABLE_INDEXABLE [G] General cluster: elks description: "Tables whose keys are integers in a contiguous interval" Ancestors ITERABLE* [G] Queries item alias "[]" (i: INTEGER_32): G lower: INTEGER_32 new_cursor: INDEXABLE_ITERATION_CURSOR [G] upper: INTEGER_32 valid_index (i: INTEGER_32): BOOLEAN Constraints consistent boundaries
Generated by ISE EiffelStudio