Function vstd::layout::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).