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