- void xbt_dict_remove(xbt_dict_t head, const char *key);
- void xbt_dict_dump(xbt_dict_t head,void (*output)(void*));
+ void xbt_dict_remove(xbt_dict_t dict, const char *key);
+ void xbt_dict_reset(xbt_dict_t dict);
+ int xbt_dict_length(xbt_dict_t dict);
+ void xbt_dict_dump(xbt_dict_t dict, void (*output)(void*));