vstd::array

Function spec_array_as_slice

Source 
pub uninterp fn spec_array_as_slice<T, const N: usize>(ar: &[T; N]) -> out : &[T]
Expand description