pub fn expand_nmtm_rec(ctx: &Ctx, m: Rc<NameTm>) -> Rc<NameTm>
Expand description

Substitute terms into name terms