[−][src]Trait voile_util::level::LiftEx
Expression with universe level (which means they can be lifted).
Required methods
fn lift(self, levels: LevelType) -> Self
Lift the level of self
.
fn fall(self, levels: u32) -> Self
Down-lift the level of self
.
Separated with lift
instead of allowing negative numbers to lift
because we want the symbol to be explicit.
fn calc_level(&self) -> LevelCalcState
Internal API, for code sharing only.
Provided methods
fn level(&self) -> Level
Calculate the level of self
,
like a normal value will have level 0,
a type expression will have level 1 (or higher).