Function extern_spec_T__ptrconst_T_is_aligned 

pub fn extern_spec_T__ptrconst_T_is_aligned<T>(self_: *const T) -> bool
where
    T: Sized + ?Sized,

extern spec for pointer<T>::is_aligned

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

terminates

ensures

result == self.is_aligned_logic()