Function vstd::layout::ex_size_of

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