Function fungi_lang::normal::normal_idxtm_rec [−][src]
pub fn normal_idxtm_rec(ctx: &Ctx, i: Rc<IdxTm>) -> Rc<IdxTm>
Compute normal form for index term
pub fn normal_idxtm_rec(ctx: &Ctx, i: Rc<IdxTm>) -> Rc<IdxTm>
Compute normal form for index term