vstd::layout

Function size_of

Source 
pub uninterp fn size_of<V>() -> nat
Expand description