Function let_

crates/kernel/src/testing.rs:100–102

(ty: ME, val: ME, body: ME)

}

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

// ---- Universes ----