class HASHED_BIJECTIVE_DICTIONARY_NODE [V_ -> HASHABLE, K_ -> HASHABLE]

Features exported to INTERNALS_HANDLER

Auxilliary class to implement HASHED_BIJECTIVE_DICTIONARY.

Direct parents

conformant parents

ANY_HASHED_BIJECTIVE_DICTIONARY_NODE

Summary

creation features

exported features

Details

Class invariant