ptr_mut_from_data

vstd::raw_ptr

Function ptr_mut_from_data 

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

Constructs a pointer from its underlying model.