dafny_runtime::dafny_runtime_conversions

Type Alias DafnyMap

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

Aliased Typeยง

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