[−][src]Type Definition voile_util::level::LevelCalcState
type LevelCalcState = Option<Level>;
Internal API, public only because it's used in public traits' internal APIs.
Produced during level calculation.
Some(Level)
-- level of non-recursive definitions.
None
-- level of self-reference.
Trying to lift this will result in omega, otherwise it should be computed as 0 level.