[Turn off line numbering]1: arg this, old, new; 2: var value; 3: 4: value = (> this[old] <); 5: this = dict_del(this, old); 6: this = dict_add(this, new, value); 7: return (<this(), this>);
// Created 27-Mar-1995 as a part of ColdCore, see: @help Credit