Function fungi_lang::bitype::term_of_idxtm

pub fn term_of_idxtm(i: &IdxTmDer) -> Term

Depending on the sort, construct either a name term or index term from the given index term derivation. (The subst module uses this “term family” distinction to guide how it searches for free variables in terms.)