Skip to main content

spec_array_iter

vstd::array

Function spec_array_iter 

Source 
pub uninterp spec fn spec_array_iter<T, const N: usize>(s: &[T; N]) -> iter : Iter<'_, T>
Expand description