vstd::raw_ptr

Function spec_cast_ptr_to_usize

Source 
pub open spec fn spec_cast_ptr_to_usize<T: Sized>(ptr: *mut T) -> usize
Expand description
{ ptr@.addr }

Cast a pointer to a usize by extracting just the address.