Function extern_spec_T__ptrconst_T_is_null 

pub fn extern_spec_T__ptrconst_T_is_null<T: ?Sized>(self_: *const T) -> bool

extern spec for pointer<T>::is_null

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

ghost

ensures

#[logic_alias(<*const T>::is_null_logic)]