class HASHED_DICTIONARY_NODE [V_, K_ -> HASHABLE]

Features exported to INTERNALS_HANDLER

Auxilliary class to implement HASHED_DICTIONARY.

Direct parents

conformant parents

ANY_HASHED_DICTIONARY_NODE

Summary

creation features

exported features

Details