Function fungi_lang::subst::subst_term_type_rec

pub fn subst_term_type_rec(t: Term, x: &String, a: Rc<Type>) -> Rc<Type>

Substitute terms into types