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

pub fn subst_type_type(a: Type, x: &String, b: Type) -> Type

Substitute a type for a type variable in another type