Section Header
    + name := HASHED_SET_NODE[E];
    - comment := "Auxilliary class to implement SET[E].";
Section Inherit
    - parent_any_hashed_set_node:ANY_HASHED_SET_NODE :=
Section Public
    + item:E;
    + next:HASHED_SET_NODE[E];
        The `next' one when some clash occurs.
    - set_next n:HASHED_SET_NODE[E] <-
Section HASHED_SET
    - create i:E next n:HASHED_SET_NODE[E] :SELF <-
    - make i:E next n:HASHED_SET_NODE[E] <-