Function vstd::layout::size_of

source · 
pub spec fn size_of<V>() -> nat
Expand description