Structs§
Traits§
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