Function vstd::std_specs::vecdeque::vec_dequeue_clone_trigger

source · 
pub open spec fn vec_dequeue_clone_trigger<T, A: Allocator>(
    v1: VecDeque<T, A>,
    v2: VecDeque<T, A>,
) -> bool
Expand description
{ true }