Up Top       Prev DICTIONARY      Next DIRECTORY 


class interface DICTIONARY_NODE[V,K->HASHABLE]
   --
   -- Auxilliary class to implement DICTIONARY[V,K->HASHABLE].
   --



end of DICTIONARY_NODE[V,K->HASHABLE]



All classes inherit from ANY, ANY inherits from PLATFORM and PLATFORM inherits from GENERAL.


Generated by short -html_deb on 31 March 2005.