Function align_of_logic 

pub fn align_of_logic<T>() -> usize

align_of as a logic Int value.

(open, inline)

dead

ensures

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

ensures

size_of_logic::<T>() % result@ == 0