vstd
In vstd::std_specs::clone
?
Settings
Function
vstd
::
std_specs
::
clone
::
ex_ref_clone
Copy item path
source
·
[
−
]
pub
exec
fn ex_ref_clone<'b, 'a, T: ?
Sized
>(b: &'a
&'b T
) ->
res :
&'b T
Expand description
ensures
res == b,