pub type DafnyMultiset<T> = Multiset<T>;
pub struct DafnyMultiset<T> { pub data: HashMap<T, DafnyInt>, pub size: DafnyInt, }
data: HashMap<T, DafnyInt>
size: DafnyInt