Function fungi_lang::normal::normal_nmtm_rec

source · 
pub fn normal_nmtm_rec(ctx: &Ctx, n: Rc<NameTm>) -> Rc<NameTm>
Expand description

Compute normal form for name term (expand definitions and reduce applications).