Function vstd::std_specs::clone::ex_ref_clone

source · 
pub exec fn ex_ref_clone<'b, 'a, T: ?Sized>(b: &'a &'b T) -> res : &'b T
Expand description
ensures
res == b,