Function ptr_mut_is_null_spec Copy item path

pub open spec fn ptr_mut_is_null_spec<T: PointeeSized>(ptr: *mut T) -> bool

{ ptr.addr() == 0 }