Function ipi

crates/kernel/src/testing.rs:72–74

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

}

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

pub fn lam(dom: ME, body: ME) -> ME {
  ME::lam(mk_name("_"), BinderInfo::Default, dom, body)