vstd::raw_ptr

Function cast_ptr_to_usize

Source 
pub exec fn cast_ptr_to_usize<T: Sized>(ptr: *mut T) -> result : usize
Expand description
ensures
result == spec_cast_ptr_to_usize(ptr),

Cast the address of a pointer to a usize.

Don’t call this directly; use an as-cast instead.