Function fungi_lang::expand::expand_nmtm[][src]

pub fn expand_nmtm(ctx: &Ctx, m: NameTm) -> NameTm

Substitute name terms into name terms