vstd::raw_ptr

Function ptr_from_data

Source 
pub open spec fn ptr_from_data<T: ?Sized>(data: PtrData<T>) -> *const T
Expand description
{ ptr_mut_from_data(data) as *const T }

Constructs a pointer from its underlying model. Since *mut T and *const T are semantically the same, we can define this operation in terms of the operation on *mut T.