Skip to main content

Module owners

ostd::specs::mm::page_table::node

Module owners 

Source

Structs§

NodeOwner
Verification Design
PageMetaOwner

Functions§

count_present
count_present_upto
lemma_count_present_upto_absent
lemma_count_present_upto_bound
lemma_count_present_upto_present
lemma_count_present_upto_unchanged
lemma_count_present_upto_update
lemma_count_present_upto_zero_all_absent