Function vstd::array::spec_array_as_slice

pub open spec fn spec_array_as_slice<T, const N: usize>(ar: &[T; N]) -> out : &[T]

{}