NR_LEVELS

ostd::specs::arch

Function NR_LEVELS 

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

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