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] <-