Method succ

crates/common/src/env.rs:319–324

Constructs the successor of universe level `x`.

(x: Level)

  }

  /// Returns the precomputed Blake3 hash of this level.
  pub fn get_hash(&self) -> &Hash {
    match &*self.0 {
      LevelData::Zero(h)
      | LevelData::Succ(_, h)
      | LevelData::Max(.., h)
      | LevelData::Imax(.., h)
      | LevelData::Param(_, h)
      | LevelData::Mvar(_, h) => h,