:: a -> Set a -> Set a package:hashmap

Add a value to the set. When the value is already an element of the set, it is replaced by the new one, ie. insert is left-biased.

Delete a value in the set. Returns the original set when the value was not present.