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.