clonedict - create a copy of a dictionary
dict1 clonedict -> dict1 dict2
<< /a 1 >> clonedict
clonedict creates a new dictionary dict2 with the
same entries as dict1.
dict1 - a dictionary
None.
Marc-Oliver Gewaltig
/var/www/debian/nest/nest-simulator-2.20.0/sli/slidict.cc