Skip to main content
pack2
vstd
In vstd::
mut_
ref
vstd
::
mut_ref
Function
pack2
Copy item path
Source
pub
uninterp spec
fn pack2<'a, T: ?
Sized
>(data:
MutRef
<'a, T>) ->
&'a mut T
Expand description