[−][src]Trait voile_util::level::LiftEx
Expression with universe level (which means they can be lifted).
Required methods
fn lift(self, levels: u32) -> Self
Lift the level of self
.
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).