Function vstd::std_specs::vec::vec_clone_trigger

pub open spec fn vec_clone_trigger<T, A: Allocator>(v1: Vec<T, A>, v2: Vec<T, A>) -> bool

{ true }