vstd::std_specs::vecdeque

Trait 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§