Section Header

    + name := HASHABLE;

    - comment :=" .";

Section Inherit

    - parent_object:OBJECT :=

Section Public

    - hash_code:INTEGER <-
        The hash-code value of `Current'.