Function eq_const

crates/compile/src/compile.rs:2837–2846

Check if two mutual constants are structurally equal.

(
  x: &MutConst,
  y: &MutConst,
  mut_ctx: &MutCtx,
  cache: &mut BlockCache,
  stt: &CompileState,
)

    },
    (LevelData::Zero(_), LevelData::Zero(_)) => Ok(SOrd::eq(true)),
    (LevelData::Zero(_), _) => Ok(SOrd::lt(true)),
    (_, LevelData::Zero(_)) => Ok(SOrd::gt(true)),
    (LevelData::Succ(x, _), LevelData::Succ(y, _)) => {
      compare_level(x, y, x_ctx, y_ctx)
    },
    (LevelData::Succ(_, _), _) => Ok(SOrd::lt(true)),
    (_, LevelData::Succ(_, _)) => Ok(SOrd::gt(true)),
    (LevelData::Max(xl, xr, _), LevelData::Max(yl, yr, _)) => {
      SOrd::try_compare(compare_level(xl, yl, x_ctx, y_ctx)?, || {
        compare_level(xr, yr, x_ctx, y_ctx)
      })
    },
    (LevelData::Max(_, _, _), _) => Ok(SOrd::lt(true)),