Trait vstd::std_specs::hash::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§