Skip to main content

into_iter_entries

vstd::std_specs::hash

Function into_iter_entries 

Source 
pub uninterp spec fn into_iter_entries<Key, Value, A: Allocator>(
    iter: IntoIter<Key, Value, A>,
) -> Seq<(Key, Value)>
Expand description