Skip to main content

spec_range_inclusive_unspecified_slice_in_bounds

vstd::std_specs::slice

Function spec_range_inclusive_unspecified_slice_in_bounds 

Source 
pub uninterp spec fn spec_range_inclusive_unspecified_slice_in_bounds<T>(
    range: &RangeInclusive<usize>,
    slice: &[T],
) -> bool
Expand description