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.