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