vstd::layout

Function layout_of_unit_tuple

Source 
pub broadcast proof fn layout_of_unit_tuple()
Expand description
ensures
size_of::<()>() == 0,
align_of::<()>() == 1,

Size and alignment of the unit tuple (Reference).