pub trait SliceAdditionalSpecFns<T>: View<V = Seq<T>> {
    // Required method
    fn spec_index(&self, i: int) -> T;
}

Required Methods§

source

spec fn spec_index(&self, i: int) -> T

Implementations on Foreign Types§

source§

impl<T> SliceAdditionalSpecFns<T> for [T]

source§

open spec fn spec_index(&self, i: int) -> T

Implementors§