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