Trait vstd::array::ArrayAdditionalExecFns

pub trait ArrayAdditionalExecFns<T> {
    // Required method
    exec fn set(&mut self, idx: usize, t: T);
}

Required Methods§

Implementations on Foreign Types§

0 <= idx < N,

self@ == old(self)@.update(idx as int, t),

Implementors§