Function extern_spec_core_ptr_null_mut 

pub fn extern_spec_core_ptr_null_mut<T>() -> *mut T
where
    T: Thin + ?Sized,

extern spec for ::core::ptr::null_mut<T>

This is not a real function: its only use is for documentation.

terminates

ghost

ensures

result.is_null_logic()