Module vecdeque

Source

Structs§

ExIter
ExVecDeque
IterGhostIterator

Traits§

VecDequeAdditionalSpecFns

Functions§

_verus_external_fn_specification_518_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_index
_verus_external_fn_specification_519_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_len
_verus_external_fn_specification_520_VecDeque_32__58__58__32__60__32_T_32__62__32__58__58__32_new
_verus_external_fn_specification_521_VecDeque_32__58__58__32__60__32_T_32__62__32__58__58__32_with__capacity
_verus_external_fn_specification_522_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_reserve
_verus_external_fn_specification_523_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_push__back
_verus_external_fn_specification_524_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_push__front
_verus_external_fn_specification_525_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_pop__back
_verus_external_fn_specification_526_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_pop__front
_verus_external_fn_specification_527_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_append
_verus_external_fn_specification_528_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_insert
_verus_external_fn_specification_529_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_remove
_verus_external_fn_specification_530_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_clear
_verus_external_fn_specification_531_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_split__off
_verus_external_fn_specification_532__60__32_VecDeque_32__60__32_T_44__32_A_32__62__32_as_32_Clone_32__62__32__58__58__32_clone
_verus_external_fn_specification_533_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_truncate
_verus_external_fn_specification_534_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_resize
_verus_external_fn_specification_535_Iter_32__58__58__32__60__32__39_a_44__32_T_32__62__32__58__58__32_next
_verus_external_fn_specification_536_VecDeque_32__58__58__32__60__32_T_44__32_A_32__62__32__58__58__32_iter
axiom_spec_iter
axiom_spec_len
axiom_vec_dequeue_index_decreases
group_vec_dequeue_axioms
spec_iter
spec_vec_dequeue_len
vec_dequeue_clone_trigger