Function nlam

crates/kernel/src/testing.rs:80–82

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

}

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

pub fn app(f: ME, a: ME) -> ME {
  ME::app(f, a)