Trait vstd::std_specs::vecdeque::IterAdditionalSpecFns

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

Required Methods§

source

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

Implementations on Foreign Types§

source§

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

source§

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

Implementors§