How do you remove an element from a map<U, V> in Dafny?
map<U, V>
It seems like you can use set subtraction, e.g.
my_map := my_map - {key0, key1};