META_SLOT_SIZE_SPEC

Function META_SLOT_SIZE_SPEC 

Source
pub open spec fn META_SLOT_SIZE_SPEC() -> usize
Expand description
{ CONST_META_SLOT_SIZE }

The specification of the constant META_SLOT_SIZE.