Function uimax

crates/kernel/src/testing.rs:118–120

(a: MU, b: MU)

}

pub fn uimax(a: MU, b: MU) -> MU {
  MU::imax(a, b)
}

pub fn param(n: u64) -> MU {
  MU::param(n, mk_name("u"))