Function fungi_lang::expand::expand_nmtm_rec [−][src]
pub fn expand_nmtm_rec(ctx: &Ctx, m: Rc<NameTm>) -> Rc<NameTm>
Substitute terms into name terms
pub fn expand_nmtm_rec(ctx: &Ctx, m: Rc<NameTm>) -> Rc<NameTm>
Substitute terms into name terms