Skip to main content

range_usize_is_empty_spec

vstd_extra::external::range

Function range_usize_is_empty_spec 

Source 
pub open spec fn range_usize_is_empty_spec(r: &Range<usize>) -> bool
Expand description
{ !(r.start < r.end) }

Whether a Range<usize> is empty. Malformed ranges (start > end) are empty.