Function fungi_lang::expand::expand_nmtm

source ·
pub fn expand_nmtm(ctx: &Ctx, m: NameTm) -> NameTm
Expand description

Substitute name terms into name terms