Function fungi_lang::subst::subst_term_type[−][src]

pub fn subst_term_type(t: Term, x: &String, a: Type) -> Type

Substitute terms into types