Function vstd::layout::ex_align_of

source · 
pub exec fn ex_align_of<V>() -> usize
Expand description
ensures
is_sized::<V>(),
u as nat == align_of::<V>(),