pub fn normal_idxtm_rec(ctx: &Ctx, i: Rc<IdxTm>) -> Rc<IdxTm>
Expand description

Compute normal form for index term