Module iter 

Structs

ExRev

VerusForLoopWrapper

Traits

DoubleEndedIteratorSpec

DoubleEndedIteratorSpecImpl

ExDoubleEndedIterator

ExFromIterator

ExIntoIterator

ExIterStep

ExIterator

FromIteratorSpec

FromIteratorSpecImpl

IteratorSpec

IteratorSpecImpl

StepSpec

StepSpecImpl

Functions

_verus_external_fn_specification_227__60__32_I_32_as_32_IntoIterator_32__62__32__58__58__32_into__iter^⚠

axiom_from_iterator_ensures

group_iter_axioms

into_iter_remaining

into_rev_spec

iter_into_iter_spec

rev_iter

rev_post

rev_postcondition

trigger_peek_implications