Function vstd::slice::slice_subrange

source · 
pub exec fn slice_subrange<'a, T>(slice: &'a [T], i: usize, j: usize) -> &'a [T]
Expand description
requires
0 <= i <= j <= slice@.len(),
ensures
out@ == slice@.subrange(i as int, j as int),