[−][src]Module voile::syntax::core::level
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. |