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