Module range

Structs

ExRange

RangeGhostIterator

Traits

StepSpec

Functions

_verus_external_fn_specification_507_Range_32__58__58__32__60__32_A_32__62__32__58__58__32_next^⚠

_verus_external_fn_specification_508_Range_32__58__58__32__60__32_Idx_32__62__32__58__58__32_contains^⚠

axiom_spec_range_next_i8

axiom_spec_range_next_i16

axiom_spec_range_next_i32

axiom_spec_range_next_i64

axiom_spec_range_next_i128

axiom_spec_range_next_isize

axiom_spec_range_next_u8

axiom_spec_range_next_u16

axiom_spec_range_next_u32

axiom_spec_range_next_u64

axiom_spec_range_next_u128

axiom_spec_range_next_usize

group_range_axioms

spec_range_next