Function extern_spec_K_V_Iterator_Iter_K_V_size_hint 

pub fn extern_spec_K_V_Iterator_Iter_K_V_size_hint<'a, K: DeepModel, V>(
    self_: &Iter<'a, K, V>,
) -> (usize, Option<usize>)

extern spec for Iter<'a, K, V>::size_hint

This is not a real function: its only use is for documentation.

ensures

self

ensures

result.1 == Some(result.0)