Skip to main content
Module range
vstd_
extra
Module range
Module Items
Functions
In vstd_
extra::
external
vstd_extra
::
external
Module
range
Copy item path
Source
Functions
§
_verus_
external_
fn_
specification_
23_
Range
Inclusive_
32__
58__
58__
32_
start
⚠
_verus_
external_
fn_
specification_
24_
Range
Inclusive_
32__
58__
58__
32_
end
⚠
range_
usize_
is_
empty
range_
usize_
is_
empty_
spec
range_
usize_
len
range_
usize_
len_
spec