pub broadcast proof fn lemma_meta_slot_size()Expand description
ensures
#[trigger] size_of::<MetaSlot>() == META_SLOT_SIZE(),pub broadcast proof fn lemma_meta_slot_size()#[trigger] size_of::<MetaSlot>() == META_SLOT_SIZE(),