Function vstd::layout::ex_align_of

pub exec fn ex_align_of<V>() -> u : usize

Expand description

ensures

is_sized::<V>(),

u as nat == align_of::<V>(),

Function vstd::layout::ex_align_ofCopy item path