vstd::raw_ptr

Function ptr_mut_from_data

Source
pub uninterp fn ptr_mut_from_data<T: ?Sized>(data: PtrData) -> *mut T
Expand description