vstd
In vstd::
std_
specs::
range
Structs
ExRange
RangeGhostIterator
Traits
StepSpec
Functions
_verus_external_fn_specification_483_Range_32__58__58__32__60__32_A_32__62__32__58__58__32_next
_verus_external_fn_specification_484_Range_32__58__58__32__60__32_Idx_32__62__32__58__58__32_contains
axiom_spec_range_next_i128
axiom_spec_range_next_i16
axiom_spec_range_next_i32
axiom_spec_range_next_i64
axiom_spec_range_next_i8
axiom_spec_range_next_isize
axiom_spec_range_next_u128
axiom_spec_range_next_u16
axiom_spec_range_next_u32
axiom_spec_range_next_u64
axiom_spec_range_next_u8
axiom_spec_range_next_usize
group_range_axioms
spec_range_next
vstd
::
std_specs
::
range
Function
group_range_axioms
Copy item path
Settings
Help
Summary
Source
pub
broadcast group
fn group_range_axioms()
Expand description
broadcast group