Function vstd::raw_ptr::spec_cast_ptr_to_usize

pub open spec fn spec_cast_ptr_to_usize<T: Sized>(ptr: *mut T) -> usize

{ ptr@.addr }