Function ptr_mut_from_data

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

Expand description

Constructs a pointer from its underlying model.

Function ptr_mut_from_dataCopy item path