Lecture 13 Hash Dictionaries

new hash dictionary without any entry in it. The function hdict_lookup(hdict_t H, key k)answers the question of whether an entry with key k has been added to the dictionary already and, if the answer is positive, it returns this entry. We will see momentarily how to express these outcomes. This will allows us to add postconditions ................
................