Function vstd::layout::ex_size_of

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