Function cnst

crates/kernel/src/testing.rs:96–98

(name: &str, us: &[MU])

}

pub fn cnst(name: &str, us: &[MU]) -> ME {
  ME::cnst(mk_id(name), us.into())
}

pub fn let_(ty: ME, val: ME, body: ME) -> ME {
  ME::let_(mk_name("_"), ty, val, body, false)