dafny

How to remove an element from a map in Dafny


How do you remove an element from a map<U, V> in Dafny?


Solution

  • It seems like you can use set subtraction, e.g.

    my_map := my_map - {key0, key1};