deferred class DOUBLE_DICTIONARY [V_, K_]
Features exported to
ANY
This class is obsolete:
The new name for this class is now BIJECTIVE_DICTIONARY (Feb 10th 2005).