Skip to main content

spec_range_inclusive_new

vstd::std_specs::range

Function spec_range_inclusive_new 

Source 
pub uninterp spec fn spec_range_inclusive_new<Idx>(
    start: Idx,
    end: Idx,
) -> RangeInclusive<Idx>
Expand description