Function vstd::std_specs::range::spec_range_next

pub spec fn spec_range_next<A>(a: Range<A>) -> (Range<A>, Option<A>)