Function lam

crates/kernel/src/testing.rs:76–78

(dom: ME, body: ME)

}

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

pub fn nlam(name: &str, dom: ME, body: ME) -> ME {
  ME::lam(mk_name(name), BinderInfo::Default, dom, body)