vstd::slice

Function spec_slice_len

Source 
pub uninterp fn spec_slice_len<T>(slice: &[T]) -> usize
Expand description