Function fungi_lang::expand::expand_idxtm[][src]

pub fn expand_idxtm(ctx: &Ctx, i: IdxTm) -> IdxTm

Substitute terms into index terms