Skip to main content

Module range

vstd_extra::external

Module range 

Source

Functions§

_verus_external_fn_specification_37_Range_32__58__58__32__60__32_Idx_32__62__32__58__58__32_clone⚠
_verus_external_fn_specification_38_Range_32__58__58__32__60__32_Idx_32__62__32__58__58__32_is__empty⚠
_verus_external_fn_specification_39_RangeInclusive_32__58__58__32_start⚠
_verus_external_fn_specification_40_RangeInclusive_32__58__58__32_end⚠