vstd::layout

Function size_of_as_usize

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