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).