borrow

dafny_runtime::rcmut

Function borrow 

Source 
pub unsafe fn borrow<T: ?Sized>(this: &RcMut<T>) -> &T
Expand description

Get a reference to the value.