vstd::std_specs::hash

Trait IterAdditionalSpecFns

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

Required Methods§

Source

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

Implementations on Foreign Types§

Source§

impl<'a, Key: 'a> IterAdditionalSpecFns<'a, Key> for Iter<'a, Key>

Source§

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

Implementors§