META_SLOT_SIZE_SPEC

ostd::mm::frame::meta::mapping

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.