Skip to main content

range_usize_len_spec

vstd_extra::external::range

Function range_usize_len_spec 

Source 
pub open spec fn range_usize_len_spec(r: &Range<usize>) -> usize
Expand description
{ if r.start < r.end { (r.end - r.start) as usize } else { 0usize } }

Length of a Range<usize>. Malformed ranges (start > end) are length 0, matching ExactSizeIterator::len for Range<A: Step> where Step::steps_between returns None on end < start, collapsed to 0.