class HASHED_SET_NODE [E_ -> HASHABLE]

Features exported to ANY

Auxilliary class to implement HASHED_SET.

Direct parents

conformant parents

ANY_HASHED_SET_NODE

Summary

creation features

exported features

Details