Function vstd::raw_ptr::ptr_null

source · 
pub open spec fn ptr_null<T: ?Sized + Pointee<Metadata = ()>>() -> *const T
Expand description
{
    ptr_from_data(PtrData {
        addr: 0,
        provenance: Provenance::null(),
        metadata: Metadata::Thin,
    })
}