Skip to main content

Module owners

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

Module owners 

Source

Structs§

NodeModel
NodeOwner
Verification Design
PageMetaModel
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