Function extern_spec_std_ptr_null 

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

extern spec for ::std::ptr::null<T>

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

terminates

ghost

ensures

result.is_null_logic()