vstd::layout

Function align_of_as_usize

Source 
pub open spec fn align_of_as_usize<V>() -> usize
Expand description
recommends
align_of::<V>() as usize as int == align_of::<V>(),
{ align_of::<V>() as usize }