Module page_size_lemmas 

Functions

lemma_pa_plus_page_size_no_overflow

lemma_page_size_divides

lemma_page_size_ge_page_size

lemma_page_size_monotone

lemma_page_size_multiple_of_page_size

lemma_page_size_spec_level1

lemma_va_align_page_size

lemma_va_align_page_size_level_1