DafnyMultiset

dafny_runtime::dafny_runtime_conversions

Type Alias DafnyMultiset 

Source 
pub type DafnyMultiset<T> = Multiset<T>;

Aliased Type§

pub struct DafnyMultiset<T> {
    pub data: HashMap<T, DafnyInt>,
    pub size: DafnyInt,
}

Fields§

§data: HashMap<T, DafnyInt>§size: DafnyInt