Module vec

Source

Structs§

ExIntoIter
ExVec
IntoIterGhostIterator

Traits§

VecAdditionalSpecFns

Functions§

_verus_external_fn_specification_522_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_len
_verus_external_fn_specification_523_Vec_32__58__58__32__60__32_T_32__62__32__58__58__32_new
_verus_external_fn_specification_524_Vec_32__58__58__32__60__32_T_32__62__32__58__58__32_with__capacity
_verus_external_fn_specification_525_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_reserve
_verus_external_fn_specification_526_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_push
_verus_external_fn_specification_527_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_pop
_verus_external_fn_specification_528_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_append
_verus_external_fn_specification_529_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_extend__from__slice
_verus_external_fn_specification_530_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_swap__remove
_verus_external_fn_specification_531_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_insert
_verus_external_fn_specification_532_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_remove
_verus_external_fn_specification_533_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_clear
_verus_external_fn_specification_534_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_as__slice
_verus_external_fn_specification_535__60__32_Vec_32__60__32_T_44__32_A_32__62__32_as_32_core_32__58__58__32_ops_32__58__58__32_Deref_32__62__32__58__58__32_deref
_verus_external_fn_specification_536_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_split__off
_verus_external_fn_specification_537__60__32_Vec_32__60__32_T_44__32_A_32__62__32_as_32_Clone_32__62__32__58__58__32_clone
_verus_external_fn_specification_538_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_truncate
_verus_external_fn_specification_539_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_resize
_verus_external_fn_specification_540_IntoIter_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_next
_verus_external_fn_specification_541_Vec_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_into__iter
axiom_spec_into_iter
axiom_spec_len
axiom_vec_index_decreases
group_vec_axioms
spec_into_iter
spec_vec_len
vec_clone_deep_view_proof
vec_clone_trigger
vec_index