Skip to main content

align_of

vstd::layout

Function align_of 

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