lemma_two_align_of_equal

vstd_extra::raw_ptr_extra

Function lemma_two_align_of_equal 

Source 
pub broadcast proof fn lemma_two_align_of_equal<T>()
Expand description
requires
vstd::layout::align_of::<T>() <= usize::MAX,
ensures
#[trigger] vstd::layout::align_of::<T>() == align_of::<T>(),