Function fungi_lang::expand::expand_idxtm [−][src]
pub fn expand_idxtm(ctx: &Ctx, i: IdxTm) -> IdxTm
Substitute terms into index terms
pub fn expand_idxtm(ctx: &Ctx, i: IdxTm) -> IdxTm
Substitute terms into index terms