Function ptr_is_null_spec Copy item path

pub open spec fn ptr_is_null_spec<T: PointeeSized>(ptr: *const T) -> bool

{ ptr.addr() == 0 }