Function vstd::layout::ex_align_of
source · pub exec fn ex_align_of<V>() -> u : usizeExpand description
ensures
is_sized::<V>(),u as nat == align_of::<V>(),pub exec fn ex_align_of<V>() -> u : usizeis_sized::<V>(),u as nat == align_of::<V>(),