Module slice

Source

Structs§

ExIter
IterGhostIterator

Functions§

_verus_external_fn_specification_489_core_32__58__58__32_hint_32__58__58__32_unreachable__unchecked
_verus_external_fn_specification_490_Iter_32__58__58__32__60__32__39_a_44__32_T_32__62__32__58__58__32_next
_verus_external_fn_specification_491__60__32__91_T_93__32__62__32__58__58__32_iter
axiom_spec_slice_iter
group_slice_axioms
spec_slice_iter