Function param

crates/kernel/src/testing.rs:122–124

(n: u64)

}

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

pub fn nparam(name: &str, n: u64) -> MU {
  MU::param(n, mk_name(name))