vstd::std_specs::range

Function spec_range_next

Source
pub uninterp fn spec_range_next<A>(a: Range<A>) -> (Range<A>, Option<A>)
Expand description