Skip to main content

slice_range_valid

vstd::std_specs::range

Function slice_range_valid 

Source 
pub open spec fn slice_range_valid<R: RangeBoundsSpec<usize>>(range: &R, len: nat) -> bool
Expand description
{ slice_range_start(range) <= slice_range_end(range, len) <= len }

Whether a range normalizes to start <= end <= len, i.e. the condition under which std’s core::slice::range does not panic.