INC_LEVELS

ostd::specs::mm::page_table

Function INC_LEVELS 

Source 
pub const exec fn INC_LEVELS() -> val : usize
Expand description
ensures
val == CONST_INC_LEVELS,

The executable code of constant INC_LEVELS when used cross-crate.