vstd::layout

Function align_of

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