INC_LEVELS_SPEC

ostd::specs::mm::page_table

Function INC_LEVELS_SPEC 

Source 
pub open spec fn INC_LEVELS_SPEC() -> usize
Expand description
{ CONST_INC_LEVELS }

The specification of the constant INC_LEVELS.