creusot_contracts::ptr_own

Type Alias RawPtr

Source 
pub type RawPtr<T> = *const T;
Expand description

Raw pointer whose ownership is tracked by a ghost PtrOwn.