Section Header
    + name := AVL_DICTIONARY_NODE[V,K];
    - comment := "Auxiliary class to implement AVL_DICTIONARY.";
Section Inherit
    + parent_avl_tree_node:Expanded AVL_TREE_NODE[K];
    - parent_any_avl_dictionary_node:ANY_AVL_DICTIONARY_NODE :=
Section Public
    - key:K <-
    - set_key i:K <-
Section AVL_DICTIONARY, AVL_DICTIONARY_NODE
    + value:V;
    - set_value v:V <-
    - fast_at k:K :AVL_DICTIONARY_NODE[V, K] <-
        Is element `e' in the tree?
    - occurrences v:V :INTEGER <-
    - fast_occurrences v:V :INTEGER <-
    - key_at v:V :K <-
    - fast_key_at v:V :K <-
Section AVL_DICTIONARY_NODE
    - occurrences v:V start cnt:INTEGER :INTEGER <-
    - fast_occurrences v:V start cnt:INTEGER :INTEGER <-
Section AVL_DICTIONARY
Creation:
    - create (v:V,k:K) :SELF <-
    - make (v:V,k:K) <-