Function nvar

crates/kernel/src/testing.rs:48–50

(name: &str, i: u64)

}

pub fn nvar(name: &str, i: u64) -> ME {
  ME::var(i, mk_name(name))
}

pub fn sort0() -> ME {
  ME::sort(MU::zero())