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