Module clone
vstd
Module clone
Traits
Functions
In vstd::
std_
specs
Modules
alloc
atomic
bits
clone
control_flow
core
hash
num
option
range
result
smart_ptrs
vec
vecdeque
Structs
VstdSpecsForRustStdLib
?
Settings
Module
vstd
::
std_specs
::
clone
Copy item path
source
·
[
−
]
Traits
§
ExClone
Functions
§
_verus_
external_
fn_
specification_
29__
60__
32_
bool_
32_
as_
32_
Clone_
32__
62__
32__
58__
58__
32_
clone
⚠
_verus_
external_
fn_
specification_
30__
60__
32_
char_
32_
as_
32_
Clone_
32__
62__
32__
58__
58__
32_
clone
⚠
_verus_
external_
fn_
specification_
31__
60__
32__
38__
32__
39_
b_
32_
T_
32_
as_
32_
Clone_
32__
62__
32__
58__
58__
32_
clone
⚠
_verus_
external_
fn_
specification_
32__
60__
32_
Tracked_
32__
60__
32_
T_
32__
62__
32_
as_
32_
Clone_
32__
62__
32__
58__
58__
32_
clone
⚠
_verus_
external_
fn_
specification_
33__
60__
32_
Ghost_
32__
60__
32_
T_
32__
62__
32_
as_
32_
Clone_
32__
62__
32__
58__
58__
32_
clone
⚠