Module vstd::map

source ·

Macros

  • assert_maps_equal
    Prove two maps map1 and map2 are equal by proving that their values are equal at each key.
  • map
    Create a map using syntax like map![key1 => val1, key2 => val, ...].

Structs

  • Map
    Map<K, V> is an abstract map type for specifications. To use a “map” in compiled code, use an exec type like HashMap (TODO) that has a Map<K, V> as its specification type.

Functions