Method eq

crates/kernel/src/level.rs:248–250

(&self, other: &Self)

    KUniv::new(UnivData::IMax(a, b, super::expr::fresh_uid()))
  }

  pub fn param(idx: u64, name: M::MField<Name>) -> Self {
    KUniv::new(UnivData::Param(idx, name, super::expr::fresh_uid()))
  }
}