dafny_runtime::rcmut

Function from

Source 
pub unsafe fn from<T>(value: Box<T>) -> RcMut<T>
Expand description

Retrieve the inner Rc as a reference.