vstd::std_specs::vecdeque

Function spec_vec_dequeue_len

Source
pub uninterp fn spec_vec_dequeue_len<T, A: Allocator>(v: &VecDeque<T, A>) -> usize
Expand description