size_of_meta_slot

ostd::mm::frame::meta

Function size_of_meta_slot 

Source 
pub proof fn size_of_meta_slot()
Expand description
ensures
size_of::<MetaSlot>() == 64,
align_of::<MetaSlot>() == 8,