Skip to main content

Module tree_lemmas

ostd::specs::mm::page_table::cursor

Module tree_lemmas 

Source
Expand description

Tree-predicate lifting, tree entry level constraints, and tree membership lemmas for CursorContinuation and CursorOwner.