Module vstd::std_specs::vec

Structs

• ExGlobal
• ExVec

Traits

• VecAdditionalSpecFns

Functions

• axiom_spec_len
• axiom_vec_index_decreases
• ex_vec_append
• ex_vec_as_slice
• ex_vec_clear
• ex_vec_clone
• ex_vec_insert
• ex_vec_len
• ex_vec_new
• ex_vec_pop
• ex_vec_push
• ex_vec_remove
• ex_vec_reserve
• ex_vec_split_off
• ex_vec_truncate
• ex_vec_with_capacity
• group_vec_axioms
• spec_vec_len
• vec_clone_deep_view_proof
• vec_clone_trigger
• vec_index