[−][src]Module voile::syntax::level
Level
-related definitions, extracted from common
.
Enums
Level | Level, can be inferred or user-specified. |
Traits
LiftEx | Expression with universe level (which means they can be lifted). |
Type Definitions
LevelCalcState | Internal API, public only because it's used in public traits' internal APIs.
Produced during level calculation. |