Function vstd::layout::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 }