Method max

crates/common/src/env.rs:326–332

Constructs `max x y`.

(x: Level, y: Level)

      | LevelData::Max(.., h)
      | LevelData::Imax(.., h)
      | LevelData::Param(_, h)
      | LevelData::Mvar(_, h) => h,
    }
  }
  /// Constructs universe level 0.
  pub fn zero() -> Self {
    Level(Arc::new(LevelData::Zero(blake3::hash(&[UZERO]))))
  }
  /// Constructs the successor of universe level `x`.
  pub fn succ(x: Level) -> Self {