Type Alias DafnyMap 

pub type DafnyMap<K, V> = Map<K, V>;

Aliased Type

pub struct DafnyMap<K, V> { /* private fields */ }