Module frame 

Modules

frame_lifecycle

frame_specs

linked_list

mapping

memory_region_specs

meta_owners

The model of a metadata slot. It includes:

meta_region_owners

meta_specs

segment

Spec/proof companion for crate::mm::frame::segment.

unique