Function extern_spec_core_ptr_null 

pub fn extern_spec_core_ptr_null<T: Thin + ?Sized>() -> *const T

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

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

ghost

ensures

result.is_null_logic()