Function extern_spec_core_ptr_addr_eq 

pub fn extern_spec_core_ptr_addr_eq<T: ?Sized, U: ?Sized>(
    p: *const T,
    q: *const U,
) -> bool

extern spec for ::core::ptr::addr_eq<T, U>

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

ghost

ensures

result == (p.addr_logic() == q.addr_logic())