Module meta_owners 

The model of a metadata slot. It includes:

• The model of the metadata slot: MetaSlotModel.
• The invariants for both MetaSlot and MetaSlotModel.
• The primitives for MetaSlot.

Structs

MetaSlotModel

MetaSlotOwner

Metadata

MetadataInnerPerms

StoredPageTablePageMeta

Enums

MetaSlotStatus

MetaSlotStorage

PageState

PageUsage

Constants

REF_COUNT_MAX

REF_COUNT_UNIQUE

REF_COUNT_UNUSED

Type Aliases

MetaPerm

A permission token for frame metadata.