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