vstd::std_specs::hash

Trait MapIterAdditionalSpecFns

Source 
pub trait MapIterAdditionalSpecFns<'a, Key: 'a, Value: 'a> {
    // Required method
    spec fn view(&self) -> (int, Seq<(Key, Value)>);
}

Required Methods§

Source

spec fn view(&self) -> (int, Seq<(Key, Value)>)

Implementations on Foreign Types§

Source§

impl<'a, Key: 'a, Value: 'a> MapIterAdditionalSpecFns<'a, Key, Value> for Iter<'a, Key, Value>

Source§

uninterp fn view(self: &Iter<'a, Key, Value>) -> (int, Seq<(Key, Value)>)

Implementors§