NR_LEVELS_SPEC

ostd::specs::arch

Function NR_LEVELS_SPEC 

Source 
pub open spec fn NR_LEVELS_SPEC() -> usize
Expand description
{ CONST_NR_LEVELS }

The specification of the constant NR_LEVELS.