align_of_val_as_usize

vstd::layout

Function align_of_val_as_usize 

Source 
pub open spec fn align_of_val_as_usize<V: ?Sized>(val: &V) -> usize
Expand description
recommends
spec_align_of_val::<V>(val) as usize as int == spec_align_of_val::<V>(val),
{ spec_align_of_val::<V>(val) as usize }