Section
Header
    +
name
:=
HASHABLE
;
    -
comment
:=
" ."
;
Section
Inherit
    -
parent_object
:
OBJECT
:=
Section
Public
    -
hash_code
:
INTEGER
<-
        The hash-code value of `Current'.