spec_align_of_val

vstd::layout

Function spec_align_of_val 

Source 
pub uninterp fn spec_align_of_val<V: ?Sized>(val: &V) -> nat
Expand description

Spec for align_of_val: https://doc.rust-lang.org/std/mem/fn.align_of_val.html.