Table of Contents
Previous Chapter
- indexing
- description: "Reference class for INTEGER"
- class interface
- feature -- Access
- -- Integer value
- -- Hash code value
- -- (From HASHABLE.)
- good_hash_value: Result >= 0
- feature -- Element change
- -- Make i the associated integer value.
- item_set: item = i
- end
Table of Contents
Next Chapter
|