spec_size_of_val

vstd::layout

Function spec_size_of_val 

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

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