Skip to main content

level_add

oxilean_kernel::level::functions

Function level_add 

Source 
pub fn level_add(l: Level, n: u32) -> Level
Expand description

Bump a level by n successor applications.

level_add(l, n) = succ^n(l).