Function fungi_lang::normal::normal_nmtm_rec [−][src]
pub fn normal_nmtm_rec(ctx: &Ctx, n: Rc<NameTm>) -> Rc<NameTm>
Compute normal form for name term (expand definitions and reduce applications).
pub fn normal_nmtm_rec(ctx: &Ctx, n: Rc<NameTm>) -> Rc<NameTm>
Compute normal form for name term (expand definitions and reduce applications).