Function extern_spec_T__ptrconst_T_is_aligned_to 

pub fn extern_spec_T__ptrconst_T_is_aligned_to<T: ?Sized>(
    self_: *const T,
    align: usize,
) -> bool

extern spec for pointer<T>::is_aligned_to

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

terminates

ghost

requires

align != 0usize && align & (align - 1usize) == 0usize

ensures

result == self.is_aligned_to_logic(align)