Function npi

crates/kernel/src/testing.rs:68–70

(name: &str, dom: ME, cod: ME)

}

pub fn npi(name: &str, dom: ME, cod: ME) -> ME {
  ME::all(mk_name(name), BinderInfo::Default, dom, cod)
}

pub fn ipi(name: &str, dom: ME, cod: ME) -> ME {
  ME::all(mk_name(name), BinderInfo::Implicit, dom, cod)