Module mapping 

Functions

frame_to_index

group_page_meta

index_to_frame

index_to_meta

lemma_frame_to_index_injective

lemma_frame_to_meta_soundness

lemma_index_to_frame_biinjective

lemma_meta_to_frame_alignment

lemma_meta_to_frame_soundness

lemma_meta_to_paddr_biinjective

lemma_paddr_to_meta_biinjective

max_meta_slots