vstd
In vstd::
std_
specs::
vec
vstd
::
std_specs
::
vec
Function
vec_clone_trigger
Copy item path
Source
pub
open spec
fn vec_clone_trigger<T, A:
Allocator
>(v1:
Vec
<T, A>, v2:
Vec
<T, A>) ->
bool
Expand description
{
true
}